Data-efficient Bayesian verification of parametric Markov chains

DOI10.1007/978-3-319-43425-4_3MaRDI QIDQ1693116zbMATH OpenOpenAlexFDO

Authors Elizabeth Polgreen, V. B. Wijesuriya, Sofie Haesaert, Alessandro Abate

Publication date 11 January 2018

Full work available at URL https://ora.ox.ac.uk/objects/uuid:7b4b4d51-021a-450a-be74-a9940e4654db

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Data-driven and model-based verification via Bayesian identification and reachability analysis
• Data-driven verification of stochastic linear systems with signal temporal logic constraints
• Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference
• Parameter synthesis for Markov models: faster than ever
• Bayesian statistical parameter synthesis for linear temporal properties of stochastic models

Cited in

(6)

• Data-driven and model-based verification via Bayesian identification and reachability analysis
• Parameter synthesis for Markov models: covering the parameter space
• Case studies in data-driven verification of dynamical systems
• Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes
• Parameter synthesis in Markov models: a gentle survey
• Efficient sensitivity analysis for parametric robust Markov chains

This page was built for publication: Data-efficient Bayesian verification of parametric Markov chains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1693116)