Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Bastien Sérée

est l'auteur d'une thèse

Arbres Automate Contraintes sur l’énergie Graphes paramétrés Jeux sur les graphes Model-checking Objectifs de parité Plus court chemin Théorie des graphes Théorie des jeux Vérification de modèles

Fullscreen

Arbres Automate Contraintes sur l’énergie Graphes paramétrés Jeux sur les graphes Model-checking Objectifs de parité Plus court chemin Théorie des graphes Théorie des jeux Vérification de modèles

Bastien Sérée a rédigé la thèse suivante :

Problèmes d'optimisation dans les graphes paramétrés

par Bastien Sérée sous la direction de Didier Lime et de Loïg Jezequel . - Ecole centrale de Nantes

Informatique

Soutenue le 15-12-2022

Thèse soutenue

Accéder en ligne