Accelerated model checking of parametric Markov chains

DOI10.1007/978-3-030-01090-4_18zbMath1517.68235arXiv1805.05672OpenAlexW2803246896MaRDI QIDQ6109594

Ernst Moritz Hahn, Sven Schewe, Paul Gainer

Publication date: 28 July 2023

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1805.05672

Mathematics Subject Classification ID

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

Related Items (10)

Fine-tuning the odds in Bayesian networks ⋮ Gradient-descent for randomized controllers under partial observability ⋮ The complexity of reachability in parametric Markov decision processes ⋮ Parameter synthesis in Markov models: a gentle survey ⋮ End-to-end statistical model checking for parametric ODE models ⋮ POMDP controllers with optimal budget ⋮ \textsf{PFL}: a probabilistic logic for fault trees ⋮ Are Parametric Markov Chains Monotonic? ⋮ On the Complexity of Reachability in Parametric Markov Decision Processes ⋮ Finding provably optimal Markov chains

This page was built for publication: Accelerated model checking of parametric Markov chains