Inventaire


Site en anglais

GASICS: théorie des jeux pour l'analyse et la synthèse de systèmes informatiques interactifs

Unité : Méthodes formelles et vérification | ULB512



Description :


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/

Liste des responsables :


  • RASKIN Jean-François


Liste des bailleurs :


  • Autres U.E.