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 (3)

• Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations
• Model Checking for Safe Navigation Among Humans
• 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)