This project studies game theoretic formalizations of interactive computational systems and algorithms for their analysis and synthesis. Our aim is to extend the existing notions of games played on graphs introduced by computer scientists. Currently, most of the games played on graphs are of the sort "two players-zero sum", we aim to extend them to "multiple players non-zero sum", and show the applicability of the new theory to the analysis and synthesis of interactive computational systems.
|Effective start/end date||1/10/08 → 1/10/11|
- Game theory
- Synthesis of programs
- Computer aided verification