Le moteur de recherche
des thèses françaises
Patricia Bouyer-Decitre
IdRefMots clés
FR |
EN
Théorie des jeux
Automates temporisés
Méthodes formelles
Méthodes formelles (informatique)
Vérification de modèles (informatique)
Processus stochastiques
Vérification
Algorithmes
Jeux
Automates
Processus de Markov
Commande robuste
Décidabilité
Décidabilité (logique mathématique)
Automates programmables
Synthèse
Robustesse
Vérification formelle
Theorie des jeux
Formalisme (mathématiques)