Games for Analysis and Synthesis of Interactive Computational Systems

Project: Research

Description

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.
AcronymGASICS
StatusFinished
Effective start/end date1/10/081/10/11

Keywords

  • Game theory
  • Synthesis of programs
  • Computer aided verification