PRISM-games: a model checker for stochastic multi-player games

DOI10.1007/978-3-642-36742-7_13MaRDI QIDQ5326324zbMATH OpenOpenAlexFDO

Authors

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

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60) (n)-person games, (n>2) (91A06) Stochastic games, stochastic differential games (91A15)

Recommendations

• Model checking and strategy synthesis for stochastic games: from theory to practice (invited talk)
• Automated Verification of Concurrent Stochastic Games
• Quantitative verification and strategy synthesis for stochastic games
• Automatic verification of competitive stochastic systems
• Automatic verification of competitive stochastic systems

Cited in

(18)

• PuRSUE -- from specification of robotic environments to synthesis of controllers
• Positivity-hardness results on Markov decision processes
• On Abstraction of Probabilistic Systems
• Symbolic verification and strategy synthesis for turn-based stochastic games
• Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games
• Automated game analysis via probabilistic model checking: a case study
• A computationally grounded, weighted doxastic logic
• Game-Based Probabilistic Predicate Abstraction in PRISM
• Compositional strategy synthesis for stochastic games with multiple objectives
• Model checking and strategy synthesis for stochastic games: from theory to practice (invited talk)
• PRISM-games
• Quantitative verification and strategy synthesis for stochastic games
• Natural strategic ability
• Verifying the gaming strategy of self-learning game by using PRISM-games
• Reasoning about equilibria in game-like concurrent systems
• Verification of multiplayer stochastic games via abstract dependency graphs
• Multi-valued verification of strategic ability
• Equilibria-based probabilistic model checking for concurrent stochastic games

Describes a project that uses

Uses Software

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

This page was built for publication: PRISM-games: a model checker for stochastic multi-player games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5326324)