Automatic Verification of Competitive Stochastic Systems

DOI10.1007/978-3-642-28756-5_22zbMath1352.68150OpenAlexW2109756477MaRDI QIDQ2894279

No author found.

Publication date: 29 June 2012

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28756-5_22

Mathematics Subject Classification ID

Applications of game theory (91A80) Stochastic games, stochastic differential games (91A15) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items

Quantitative verification and strategy synthesis for stochastic games, Automatic verification of competitive stochastic systems

Uses Software

• PRISM
• MCMAS
• GIST