Léo Henry

According to our database, Léo Henry authored at least 7 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Conflict-Aware Active Automata Learning.

Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva, Alexandra Silva

Proceedings of the Fourteenth International Symposium on Games, 2023

Reinforcement Planning for Effective ε-Optimal Policies in Dense Time with Discontinuities.

Léo Henry, Blaise Genest, Alexandre Drewery

Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023

2022

Control strategies for off-line testing of timed systems.

Léo Henry, Thierry Jéron, Nicolas Markey

Formal Methods Syst. Des., April, 2022

2021

There and back again : formal methods and model learning for real-time systems. (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

PhD thesis, 2021

Diagnosing timed automata using timed markings.

Patricia Bouyer, Léo Henry, Samy Jaziri, Thierry Jéron, Nicolas Markey

Int. J. Softw. Tools Technol. Transf., 2021

2020

Active Learning of Timed Automata with Unobservable Resets.

Léo Henry, Thierry Jéron, Nicolas Markey

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

2018

Control_strategies_for_off-line_testing_of_timed_systems.

Léo Henry, Thierry Jéron, Nicolas Markey

CoRR, 2018