Gastvortrag: Verification and Strategy Synthesis for Stochastic Games

Dienstag, 04.12.2018, 10.30 Uhr

Ort: RWTH Aachen University, Informatikzentrum - Ahornstr. 55, Erweiterungsgebäude E2, B-IT-Raum 5053.2

Vortragender: Dave Parker


Stochastic multi-player games are a versatile modelling framework for systems that exhibit cooperative and competitive behaviour in the presence of adversarial or uncertain environments. Probabilistic model checking provides a powerful set of techniques to either verify the correct behaviour of such systems or to synthesise controllers that offer guarantees on safe, reliable or timely operation. This talk will provide an overview of work in this direction, implemented within the PRISM-games model checker. This includes recent extensions to concurrent stochastic games and equilibria based properties, and applications to a variety of domains, from energy management to communication protocols to robot navigation.