Model checking and strategy synthesis for stochastic games: from theory to practice (invited talk)
From MaRDI portal
Publication:4598136
Recommendations
- PRISM-games: a model checker for stochastic multi-player games
- Quantitative verification and strategy synthesis for stochastic games
- Automatic verification of competitive stochastic systems
- Automated Verification of Concurrent Stochastic Games
- Automatic verification of competitive stochastic systems
Cited in
(13)- Verification and Control of Turn-Based Probabilistic Real-Time Games
- PRISM-games: a model checker for stochastic multi-player games
- Automatic verification of competitive stochastic systems
- Automated game analysis via probabilistic model checking: a case study
- Multi-agent verification and control with probabilistic model checking
- Symbolic verification and strategy synthesis for turn-based stochastic games
- Equilibria-based probabilistic model checking for concurrent stochastic games
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations
- Quantitative verification and strategy synthesis for stochastic games
- Model Checking for Safe Navigation Among Humans
- Verifying the gaming strategy of self-learning game by using PRISM-games
- Automated verification and strategy synthesis for probabilistic systems
- Compositional strategy synthesis for stochastic games with multiple objectives
This page was built for publication: Model checking and strategy synthesis for stochastic games: from theory to practice (invited talk)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4598136)
