Patricia Bouyer-Decitre
Mots clés
FR |
EN
Théorie des jeux
Automates temporisés
Méthodes formelles
Méthodes formelles (informatique)
Vérification de modèles (informatique)
Vérification
Algorithmes
Automates
Processus stochastiques
Jeux
Commande robuste
Automates programmables
Synthèse
Markov, Processus de
Robustesse
Vérification formelle
Theorie des jeux
Formalisme (mathématiques)
Diagnostic
Décidabilité