A Debugging Game for Probabilistic Models

DOI10.1145/3536429zbMath1522.68308OpenAlexW4280578878MaRDI QIDQ6136744

Unnamed Author

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

stochastic gamesMarkov modelsdebuggingprobabilistic model checkingprobabilistic counterexamplesPRISM

Mathematics Subject Classification ID

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

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