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
Meeting ID: 920 4794 9381
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.