Guest Talk: Verification and Strategy Synthesis for Stochastic Games
Tuesday, December 04, 2018, 10:30am
Location: RWTH Aachen University, Department of Computer Science - Ahornstr. 55, building E2, B-IT-room 5053.2
Speaker: 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.