par Balachander, Mrudula 
Président du jury Heim, Rachelle
Promoteur Raskin, Jean-François
Co-Promoteur Filiot, Emmanuel
Publication Non publié, 2026-02-09
Président du jury Heim, Rachelle
Promoteur Raskin, Jean-François
Co-Promoteur Filiot, Emmanuel
Publication Non publié, 2026-02-09
Thèse de doctorat
| Titre: |
|
| Auteur: | Balachander, Mrudula |
| Président du jury: | Heim, Rachelle |
| Promoteur: | Raskin, Jean-François |
| Co-Promoteur: | Filiot, Emmanuel |
| Membre du jury: | Perez, Guillermo Alberto GP; Puppis, Gabriele; Bogaard, Marie Van Den |
| Informations sur la publication: | Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles |
| Date de défense: | 2026-02-09 |
| Sujet CREF: | Analyse de systèmes informatiques |
| Informatique générale | |
| Mots-clés: | learning |
| passive learning | |
| synthesis | |
| ltl synthesis | |
| data words | |
| register automata | |
| formal methods | |
| verification | |
| automata learning | |
| game theory | |
| Intitulé du diplôme: | Doctorat en Sciences |
| Langue: | Français |
| Anneé académique: | 2025-2026 |
