Analyse et Synthèse de Systèmes d'Information Interactifs grâce à la Théorie des Jeux (Théorie de la Décision)

Projet: Recherche

Détails du projet

Description

Le projet CRP « GASICS » est associé aux projet EuroCore LogicCCC, au projet FRFC CFV, et au PAI MoVES. Il vise à surmonter un certain nombre de limites identifiées dans les méthodes classiques de vérification assistée par ordinateur, dans le but de rendre ces méthodes applicables aux systèmes informatiques interactifs complexes. Pour surmonter ces limites, notre consortium propose de développer de
manière systématique des modèles mathématiques basés sur la théorie des jeux.
La thématique de notre projet de recherche est structurée autour de cinq axes de recherche :
1) Notions de jeux dans le cadre des systèmes de calcul communicants ;
2) Jeux sur des graphes infinis ;
3) Jeux avec objectifs quantitatifs ;
4) Jeux à information imparfaite et structures dynamiques ;
5) Heuristiques pour la résolution efficace de jeux.
L'acronymeGASICS
statutFini
Les dates de début/date réelle1/10/081/10/11

mots-clés

  • Vérification de programmes
  • theorie des jeux
  • synthèse de programmes
  • synthese de programmes
  • Verification de programmes
  • théorie des jeux