A Debugging Game for Probabilistic Models

DOI10.1145/3536429MaRDI QIDQ6136744zbMATH OpenOpenAlexFDO

Authors

Publication date 31 August 2023

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3536429

zbMATH Keywords

Markov modelsstochastic gamesdebuggingprobabilistic model checkingprobabilistic counterexamplesPRISM

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Stochastic games, stochastic differential games (91A15)

Recommendations

• Constraint-based debugging in probabilistic model checking
• Fast debugging of PRISM models
• Counterexamples in Probabilistic LTL Model Checking for Markov Chains
• High-level counterexamples for probabilistic automata
• Debugging of concurrent systems using counterexample analysis

Cited in

(2)

• Fast debugging of PRISM models
• A Debugging Model with Independent Flaws and Random Masking

This page was built for publication: A Debugging Game for Probabilistic Models

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