Gastvortrag: Jean-Francois Raskin: Algorithms for rational verification

Mittwoch, 01.12.2021, 10.30 Uhr

Ort: RWTH Aachen University, Informatikzentrum - Ahornstr. 55, Erweiterungsgebäude E3, Raum 9220
und online:
Zoom meeting
Meeting ID: 920 4794 9381 
Password: unravel

Vortragender: Jean-Francois Raskin



In this talk, I will introduce a framework for rational verification. In rational verification, we are interested in verifying that a system is correct against all rational behaviors of its environment. The way rationality is formalized is a parameter of the framework. I will consider Nash equilibria and subgame perfect equilibria as notions of rationality and introduce algorithms for solving rational verification problems for classical payoff functions like e.g. parity and mean-payoff.