- Prof. Dr. Leon van der Torre
- Prof. Dr. Sjouke Mauw
- Wojtek Jamroga
- Matthijs Melissen

Lectures take place on Mondays from 9:45-10:15, from 20 September up to and including 13 December, in room B23. There are no lectures on 1 November (national holiday).

The objective of this course is to introduce students to the mathematical theory of interaction, with a focus on the computational side of the models. The students will learn a number of models and methodologies for strategic interaction of autonomous entities, be it humans, robots, computer programs, etc. They will also learn how such models can be used to compute predictions and support verification of natural properties of computational systems.

Game theory proposes and studies mathematical models of behaviour of individuals and their groups in strategic situations, in which one's success in making choices depends on the choices of others. It is used in social science, economics, biology, engineering, political science, international relations, computer science, and philosophy.

After successful completion of this course the student should be able to:

- Identify features of scenarios involving multiple interacting components: cooperative vs. non-cooperative, adversary vs. non-zero-sum, perfect vs. imperfect vs. incomplete information, etc.
- Construct an appropriate game model and identify solution concepts that can be used to ``solve'' the game.
- Use automated tools to obtain predictions and/or verify formal properties of the system which has been modeled.
- In addition, the program of the course stresses independent work of the students, i.e., each student is supposed to elaborate a chosen topic, give a presentation, and prepare a written report on it.