PRISM-games: A Model Checker for Stochastic Multi-Player Games

DOI10.1007/978-3-642-36742-7_13zbMath1381.68151OpenAlexW2106272197MaRDI QIDQ5326324

No author found.

Publication date: 5 August 2013

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-36742-7_13

Mathematics Subject Classification ID

(n)-person games, (n>2) (91A06) 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 (11)

A computationally grounded, weighted doxastic logic ⋮ Compositional strategy synthesis for stochastic games with multiple objectives ⋮ Quantitative verification and strategy synthesis for stochastic games ⋮ Reasoning about equilibria in game-like concurrent systems ⋮ On Abstraction of Probabilistic Systems ⋮ Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games ⋮ PuRSUE -- from specification of robotic environments to synthesis of controllers ⋮ Verifying the Gaming Strategy of Self-learning Game by Using PRISM-Games ⋮ Natural strategic ability ⋮ PRISM-games ⋮ Multi-valued Verification of Strategic Ability

Uses Software

• GAVS
• PRISM
• MCMAS
• QUASY
• GIST
• UPPAAL TIGA
• MOCHA

This page was built for publication: PRISM-games: A Model Checker for Stochastic Multi-Player Games