What it is about
You will learn the theory of games on finite graphs. Building on reachability games, both qualitative and quantitative variants are treated, and in the end you will be able to apply the fundamental solution methods and solve smaller game instances on your own.
What you will be able to do
- Know concepts of game theory on graphs
- Apply algorithmic solution methods
- Solve smaller game instances by hand
- Understand mathematical tools for solving the treated games
What the module consists of
- LectureConveying the theory and the solution methods
- TutorialPractice and application of the methods on examples
- Assignments for self-studyDeepening and independent practice
Teaching method
- LectureIntroduction to definitions and procedures
- TutorialPractical application and practice of the methods
- Self-study/TasksIndependent practice and deepening of the contents
- Tool presentationIntroduction of relevant software tools (e.g. PRISM)