Nathalie Bertrand
Mots clés
FR |
EN
Théorie des jeux
Complexité
Logiciels -- Vérification
Vérification
Vérification paramétrée
Automates
Complexité de calcul (informatique)
Algorithmes parallèles
Processus stochastiques
Vérification de modèles (informatique)
Systèmes à paramètres répartis
Jeux stochastiques
Théorie des automates mathématiques
Vérification de modèles
Petri, Réseaux de
Décidabilité (logique mathématique)
Systèmes informatiques -- Mesures de sûreté
Théorie algorithmique des jeux
Synthèse
Optimisation