Data-efficient Bayesian verification of parametric Markov chains

DOI10.1007/978-3-319-43425-4_3zbMath1377.68136OpenAlexW2491794706MaRDI QIDQ1693116

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

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

Related Items (3)

Parameter synthesis in Markov models: a gentle survey ⋮ Efficient sensitivity analysis for parametric robust Markov chains ⋮ Parameter synthesis for Markov models: covering the parameter space

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