Game theory for computer modeling

Following the work of John Nash in the early 1950s, game theory has been used primarily as a mathematical model for economic and social interactions. However, since the early 1980s, game theory has played an increasingly important role in computer science, particularly in logic and automatic program verification. The aim of this course is to present some game models, as well as applications of the theory in several areas of computer science.The first part of the course deals with infinite games on finite or infinite graphs. This theory has applications for automata theory (tree automata), and program verification (mu-calculus or other logics).
The second part deals with games in strategic form and Nash equilibria.

Games on graphs
Infinite games and win conditions
Applications to automata and verification
Strategies
Nash equilibria