Léo Henry

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 9

Top Topics

Control Strategies

Selective Sampling

Imbalanced Data Classification

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva, Alexandra Silva
Conflict-Aware Active Automata Learning. GandALF (2023)
Léo Henry, Blaise Genest, Alexandre Drewery
Reinforcement Planning for Effective ε-Optimal Policies in Dense Time with Discontinuities. FSTTCS (2023)
Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva, Alexandra Silva
Conflict-Aware Active Automata Learning. CoRR (2023)
Léo Henry, Thierry Jéron, Nicolas Markey
Control strategies for off-line testing of timed systems. Formal Methods Syst. Des. 60 (2) (2022)
Patricia Bouyer, Léo Henry, Samy Jaziri, Thierry Jéron, Nicolas Markey
Diagnosing timed automata using timed markings. Int. J. Softw. Tools Technol. Transf. 23 (2) (2021)
Léo Henry, Thierry Jéron, Nicolas Markey
Active Learning of Timed Automata with Unobservable Resets. FORMATS (2020)
Léo Henry, Nicolas Markey, Thierry Jéron
Active learning of timed automata with unobservable resets. CoRR (2020)
Léo Henry, Thierry Jéron, Nicolas Markey
Control Strategies for Off-Line Testing of Timed Systems. SPIN (2018)
Léo Henry, Thierry Jéron, Nicolas Markey
Control_strategies_for_off-line_testing_of_timed_systems. CoRR (2018)