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/