Mickaël Randour
IdRefMots clés
FR |
EN
Théorie des jeux
Jeux à somme nulle
Vérification
Automates temporisés
Automates temporisés et stochastiques
Vérification de modèles (informatique)
Markov, Processus de
Synthèse de contrôleurs
Jeux sur graphes
Détermination à mémoire finie
Langages oméga-Réguliers
Automates sur les mots infinis
Théorie des machines séquentielles
Langages rationnels
Information imparfaite
Complexité
Bridge
Complexité de calcul (informatique)