PRISM-games: a model checker for stochastic multi-player games
DOI10.1007/978-3-642-36742-7_13zbMATH Open1381.68151OpenAlexW2106272197MaRDI QIDQ5326324FDOQ5326324
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
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
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)
Cited In (18)
- Positivity-hardness results on Markov decision processes
- PuRSUE -- from specification of robotic environments to synthesis of controllers
- 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
- Game-Based Probabilistic Predicate Abstraction in PRISM
- A computationally grounded, weighted doxastic logic
- Compositional strategy synthesis for stochastic games with multiple objectives
- Model checking and strategy synthesis for stochastic games: from theory to practice (invited talk)
- Quantitative verification and strategy synthesis for stochastic games
- Natural strategic ability
- PRISM-games
- Verifying the gaming strategy of self-learning game by using PRISM-games
- Verification of multiplayer stochastic games via abstract dependency graphs
- Reasoning about equilibria in game-like concurrent systems
- Equilibria-based probabilistic model checking for concurrent stochastic games
- Multi-valued verification of strategic ability
Uses Software
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)
