Christel Baier
IdRefMots clés
FR |
EN
Théorie des jeux
Théorie des machines séquentielles
Vérification
Automates temporisés
Automates temporisés et stochastiques
Vérification de modèles (informatique)
Markov, Processus de
Synthèse de contrôleur
Théorie des automates
Vérification quantitative
Jeux stochastiques
Processus stochastiques
Théorie des automates mathématiques
Valeur
Automate temporisé
Dynamique symbolique
Entropie volumétrique
Processus stochastique
Fonction génératrice
Code temporisé