Nicolas Markey
IdRefMots clés
FR |
EN
Théorie des jeux
Automates temporisés
Méthodes formelles (informatique)
Méthodes formelles
Vérification de modèles (informatique)
Temps réel (informatique)
Automates
Processus stochastiques
Vérification formelle
Model-checking
Robustesse
Commande robuste
Logique temporelle
Apprentissage automatique
Jeux
Concurrent
Nash
Stochastique
Equilibre
Theorie des jeux