Model checking and strategy synthesis for stochastic games: from theory to practice (invited talk)

DOI10.4230/LIPICS.ICALP.2016.4zbMATH Open1388.68186OpenAlexW2547255959MaRDI QIDQ4598136FDOQ4598136

Authors: Marta Kwiatkowska 

Publication date: 19 December 2017

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2016/6228/

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

zbMATH Keywords

model checkingstochastic gamestemporal logicquantitative verificationstrategy synthesis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Stochastic games, stochastic differential games (91A15) Temporal logic (03B44)

Cited In (13)

• Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations
• Symbolic verification and strategy synthesis for turn-based stochastic games
• Model Checking for Safe Navigation Among Humans
• Automated game analysis via probabilistic model checking: a case study
• Compositional strategy synthesis for stochastic games with multiple objectives
• Quantitative verification and strategy synthesis for stochastic games
• Verifying the gaming strategy of self-learning game by using PRISM-games
• Automated verification and strategy synthesis for probabilistic systems
• Equilibria-based probabilistic model checking for concurrent stochastic games
• PRISM-games: a model checker for stochastic multi-player games
• Automatic verification of competitive stochastic systems
• Multi-agent verification and control with probabilistic model checking
• Verification and Control of Turn-Based Probabilistic Real-Time Games

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)