--  ...  Abstractions des systèmes dynamiques  Algorithmes  Amélioration de stratégie  Apprentissage  Apprentissage par démonstration  Automates  Automates a pile  Automates de Büchi  Automates mathématiques, Théorie des  Automates temporisés  Automates à registres  Calculabilité  Chaînes de Markov  Commande robuste  Complexité  Complexité de calcul  Concurrent  Continuité  Diagnostic  Domaines de données  Décidabilité  Energie  Equilibre  Equilibre de Nash  Fonctions calculables -- Informatique  Fonctions calculables  Grand-Pas  Infographie  Interprétation certifiée  Jeux  Jeux de congestion  Jeux decongestion paramétrés  Jeux pondérés  Jeux stochastiques  Jeux stochastiques simples  Jeux sur graphes  Langages formels  Liapounov, Stabilité de  Logiciels -- Vérification  Machines abstraites  Markov, Processus de  Mesures de sûreté  Model checking  Modèle CMM  Modélisation des données  Mots de données  Mots transfinis  Méthodes Formelles  Méthodes formelles  Nash  Non-déterminisme  Objets coopérants  Optimisation  Optimisation globale  Petit-Pas  Petri, Réseaux de  Preuves cycliques  Probabilité  Probabilités  Problème de Church  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  Synthèse réactive  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  Sémantique opérationnelle  Sémantiques opérationnelles  Sémantiques squelettiques  Thèse de Church  Théorie algorithmique des jeux  Théorie des automates  Théorie des jeux  Traitement réparti  Transducteurs  Transducteurs asynchrones  Transducteurs à registres  Valeur  Vérification  Vérification de modèles  Vérification de modèles  Vérification paramétrée  Vérification quantitative  Équilibres de Nash  Équilibres parfaits en sous-Jeux  

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


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

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

Nathalie Bertrand a été président de jury des 3 thèses suivantes :

Informatique
Soutenue le 19-10-2022
Thèse soutenue

Nathalie Bertrand a été rapporteur des 2 thèses suivantes :


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

Informatique
Soutenue le 20-09-2021
Thèse soutenue
Informatique
Soutenue le 17-12-2020
Thèse soutenue
Informatique
Soutenue le 20-10-2017
Thèse soutenue