A Debugging Game for Probabilistic Models

DOI10.1145/3536429zbMATH Open1522.68308OpenAlexW4280578878MaRDI QIDQ6136744FDOQ6136744

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

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

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)

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)