A Debugging Game for Probabilistic Models
From MaRDI portal
Publication:6136744
Markov modelsstochastic gamesdebuggingprobabilistic model checkingprobabilistic counterexamplesPRISM
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
Cited in
(2)
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)