Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice (Invited Talk)

DOI10.4230/LIPIcs.ICALP.2016.4zbMath1388.68186OpenAlexW2547255959MaRDI QIDQ4598136

Marta Kwiatkowska

Publication date: 19 December 2017

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

zbMATH Keywords

stochastic gamesmodel checkingtemporal logicquantitative verificationstrategy synthesis

Mathematics Subject Classification ID

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

Related Items (2)

Compositional strategy synthesis for stochastic games with multiple objectives ⋮ Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations

This page was built for publication: Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice (Invited Talk)