--  ...  Abstractions des systèmes dynamiques  Algorithmes  Apprentissage  Apprentissage par démonstration  Automates  Automates de Büchi  Automates mathématiques, Théorie des  Automates temporisés  Chaînes de Markov  Commande robuste  Complexité  Concurrent  Diagnostic  Décidabilité  Energie  Equilibre  Jeux  Jeux pondérés  Jeux stochastiques  Jeux sur graphes  Liapounov, Stabilité de  Logiciels -- Vérification  Markov, Processus de  Mesures de sûreté  Model checking  Modèle CMM  Méthodes Formelles  Méthodes formelles  Nash  Objets coopérants  Optimisation  Optimisation globale  Petri, Réseaux de  Probabilité  Probabilités  Processus décisionnels de Markov relationnels  Processus stochastiques  Processus à décision de Markov  Protocoles de diffusion  Robotique  Robots -- Systèmes de commande  Robustesse  Réseau de Petri  Réseaux ad hoc  Réseaux ad hoc  Stabilité lyapunov  Stochastique  Synthèse  Synthèse de contrôleur  Synthèse de stratégies  Système de canaux à pertes  Systèmes complexes  Systèmes distribués  Systèmes dynamiques  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques -- Évaluation  Systèmes paramétrés  Systèmes probabilistes  Systèmes temps réel  Systèmes à paramètres répartis  Théorie des automates  Théorie des jeux  Traitement réparti  Valeur  Vérification  Vérification de modèles  Vérification de modèles  Vérification paramétrée  Vérification quantitative  

Nathalie Bertrand a rédigé la thèse suivante :


Nathalie Bertrand a dirigé les 3 thèses suivantes :

Informatique
Soutenue le 24-09-2018
Thèse soutenue

Nathalie Bertrand a été rapporteur de la thèse suivante :


Nathalie Bertrand a été membre de jury des 8 thèses suivantes :

Informatique
Soutenue le 17-12-2020
Thèse soutenue

Informatique
Soutenue le 20-10-2017
Thèse soutenue