Le moteur de recherche
des thèses françaises
Véronique Bruyère
IdRefMots clés
FR |
EN
Théorie des jeux
Théorie des automates mathématiques
Langages rationnels
Décidabilité (logique mathématique)
Automates temporisés
Vérification de modèles (informatique)
Jeux
Vérification
Automates temporisés et stochastiques
Processus de Markov
Information imparfaite
Synthèse distribuée
Calculabilité
Automates a pile
Complexité
Fonctions calculables -- Informatique
Langages formels
Complexité de calcul (informatique)
Automates sur les mots infinis
Automates