Guest Talk: Jean-Francois Raskin: Algorithms for rational verification

Wednesday, December 01, 2021, 10:30am

Location: RWTH Aachen University, Department of Computer Science - Ahornstr. 55, building E3, room 9220
and online
Zoom meeting
Meeting ID: 920 4794 9381 
​Password: unravel

Speaker: 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.