From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

1 Downloads (Pure)
Original languageEnglish
Title of host publicationRuntime Verification - 20th International Conference, RV 2020, Proceedings
EditorsJyotirmoy Deshmukh, Dejan Nickovic
Number of pages19
PublisherSpringer Science+Business Media
Publication date2020
Pages517-535
ISBN (Print)978-3-030-60507-0
ISBN (Electronic)978-3-030-60508-7
DOIs
Publication statusPublished - 2020
EventRV 2020: International Conference on Runtime Verification - Los Angeles, United States
Duration: 6 Oct 20209 Oct 2020

Conference

ConferenceRV 2020: International Conference on Runtime Verification
CountryUnited States
CityLos Angeles
Period06/10/202009/10/2020
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12399 LNCS
ISSN0302-9743

Bibliographical note

Publisher Copyright:
© 2020, Springer Nature Switzerland AG.

Copyright:
Copyright 2020 Elsevier B.V., All rights reserved.

Keywords

  • Bayesian networks
  • Statistical model checking
  • Timed automata

Fingerprint Dive into the research topics of 'From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach'. Together they form a unique fingerprint.

Cite this