Benjamin Monmege
IdRefMots clés
FR |
EN
Vérification formelle
Spécification quantitative
Automates à poids
Logiciels -- Vérification
Méthodes formelles (informatique)
Minimisation
Séquentialité
Transducteurs
Propriété de jumelage
Synthèse de haut niveau (informatique)
Logique informatique
Automates temporisés
Synthèse
Robustesse
Jeux pondérés
Automates de Büchi
Commande robuste
Théorie des jeux
Synthèse de contrôleurs
Jeux sur graphes