Joost-Pieter Katoen
Mots clés
FR |
EN
Jeux
Automates
Concurrent
Nash
Stochastique
Equilibre
Théorie des jeux
Processus stochastiques
Markov decision process
Automates probabilistes
Mots synchronisants
Markov, Processus de
Logiciels -- Vérification
Automate temporisés
Abstractions
Algorithmes à la volée
Exécution Zenon
Théorie des automates mathématiques
Modèles mathématiques
Evaluation de performance