There and back again: formal methods and model learning for real-time systems: acting upon reality and learning from its reactions. (Histoire d'un aller et retour: méthodes formelles et apprentissage de modèles pour les systèmes en temps réel)

Léo Henry. There and back again: formal methods and model learning for real-time systems: acting upon reality and learning from its reactions. (Histoire d'un aller et retour: méthodes formelles et apprentissage de modèles pour les systèmes en temps réel). PhD thesis, University of Rennes 1, France, 2021. [doi]