Véronique Bruyère
Mots clés
FR |
EN
Théorie des jeux
Décidabilité (logique mathématique)
Automates temporisés
Vérification de modèles (informatique)
Théorie des automates mathématiques
Langages rationnels
Vérification
Automates temporisés et stochastiques
Markov, Processus de
Jeux
Information imparfaite
Synthèse distribuée
Calculabilité
Automates a pile
Complexité
Fonctions calculables -- Informatique
Langages formels
Complexité de calcul (informatique)
Mise à jour (informatique)
Versions rapides de logiciels