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