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

Florian Renkin

est l'auteur d'une thèse

ACD Jeu Méthodes formelles Paritisation Réduction Théorie des automates mathématiques Théorie des jeux Ω-automates

Fullscreen

ACD Jeu Méthodes formelles Paritisation Réduction Théorie des automates mathématiques Théorie des jeux Ω-automates

Florian Renkin a rédigé la thèse suivante :

Transformations d’ω-automates pour la synthèse de systèmes réactifs

par Florian Renkin sous la direction de Alexandre Duret-Lutz et de Adrien Pommellet . - Sorbonne université

Informatique

Soutenue le 07-10-2022

Thèse soutenue

Accéder en ligne