page d'accueil   sommaire  

GASICS: théorie des jeux pour l'analyse et la synthèse de systèmes informatiques interactifs [GASICS: Games for Analysis and Synthesis of Interactive Computational Systems]

Le projet GASICS étudie les formalisations à l'aide de la théorie des jeux des systèmes informatiques interactifs, et développe des algorithmes pour les analyser et les synthétiser. Le but de projet est d'étendre la théorie classique des jeux joués sur des graphes à deux joueurs et à somme nulle, à des cas à plusieurs joueurs et à somme non-nulle. Le projet vise également à montrer l'applicabilité de ces nouvelles théories à l'analyse et à la synthèse de systèmes informatiques interactifs. Voir: http://www.ulb.ac.be/di/gasics/ [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: http://www.ulb.ac.be/di/gasics/]



responsable


Jean-François RASKIN


équipe


Emmanuel FILIOT Gilles GEERAERTS


disciplines et mots clés déclarés


Informatique mathématique

systèmes informatiques interactifs théorie des jeux