Complexit? dans les Jeux Infinis sur les Graphes et les R?seaux de Contraintes Temporelles

par Carlo Comin

Thèse de doctorat en Informatique

Sous la direction de St?phane Vialette et de Romeo Rizzi.

Soutenue le 20-03-2017

à Paris Est en cotutelle avec l'Universit? degli studi (Trente, Italie) , dans le cadre de ?cole doctorale Math?matiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) , en partenariat avec Laboratoire d'informatique de l'Institut Gaspard Monge (laboratoire) et de Laboratoire d'Informatique Gaspard-Monge / LIGM (laboratoire) .

Le président du jury était Luke Hunsberger.

Le jury était composé de St?phane Vialette, Romeo Rizzi, Zsuzsanna Liptak.

Les rapporteurs étaient Angelo Montanari.


  • Résumé

    Cette th?se porte sur un certain nombre de probl?mes algorithmiques motiv?s par la planification temporelle automatis?e et la v?rification formelle des syst?mes r?actifs et finis. Nous nous sommes concentr?s sur les m?thodes th?oriques des jeux pour obtenir de nouvelles connaissances, des limites de complexit? am?lior?es et des algorithmes plus rapides pour les mod?les suivants: r?seaux temporels hyper, r?seaux conditionnels Simples / Hyper temporels, jeux de mise ? jour, jeux Muller McNaughton et jeux Mean Payoff

  • Titre traduit

    Complexity in Infinite Games on Graphs and Temporal Constraint Networks


  • Résumé

    This dissertation deals with a number of algorithmic problems motivated by automated temporal planning and formal verification of reactive and finite state systems. We focused on game theoretical methods to obtain novel insights, improved complexity bounds, and faster algorithms for the following models: Hyper Temporal Networks, Conditional Simple/Hyper Temporal Networks, Update Games, Muller McNaughton Games, and Mean Payoff Games


Il est disponible au sein de la bibliothèque de l'établissement de soutenance.

Consulter en bibliothèque

La version de soutenance existe

Où se trouve cette thèse ?

  • Bibliothèque : Communautés d’Universités et d'Etablissements Université Paris-Est. Bibliothèque universitaire.
  • Bibliothèque : École des Ponts ParisTech (Marne-la-Vallée, Seine-et-Marne). Bibliothèque électronique.
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.