Verification and Refutation of Probabilistic Specifications via Games

DOI10.4230/LIPICS.FSTTCS.2009.2323zbMath1248.68333OpenAlexW1586832890MaRDI QIDQ2920132

Michael Huth, Mark Kattenbelt

Publication date: 24 October 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_2281.html

zbMATH Keywords

Markov decision processesprobabilistic model checkingabstraction preorderstochastic two-player games

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Probability and inductive logic (03B48) Stochastic games, stochastic differential games (91A15) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

Minimal counterexamples for linear-time probabilistic verification ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey

Uses Software

• CEGAR
• CESAR
• SatAbs

This page was built for publication: Verification and Refutation of Probabilistic Specifications via Games