PRISM-games: A Model Checker for Stochastic Multi-Player Games
From MaRDI portal
Publication:5326324
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
(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
This page was built for publication: PRISM-games: A Model Checker for Stochastic Multi-Player Games
