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.
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.
| Acronyme | GASICS |
|---|---|
| statut | Fini |
| Les dates de début/date réelle | 1/10/08 → 1/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
Empreinte digitale
Explorez les thèmes de recherche abordés par ce projet. Ces libellés sont générés sur la base des prix/subventions sous-jacents. Ensemble, ils forment une empreinte digitale unique.