Games for Analysis and Synthesis of Interactive Computational Systems

Description

The gasics project studies game theoretic formalizations of interactive computational systems and algorithms for their analysis and synthesis.
AcronymGASICS
StatusFinished
Effective start/end date01/11/200831/10/2011

Funding

  • European Science Fondation