Site en français

GASICS: Games for Analysis and Synthesis of Interactive Computational Systems

Units : Verification and formal methods | ULB512

Description :

The gasics 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.       See:

List of persons in charge :

  • RASKIN Jean-François

List of lessors :

  • Autres U.E.