Léo Henry - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 7 from 7

2023

Reinforcement Planning for Effective ε-Optimal Policies in Dense Time with DiscontinuitiesLéo Henry, Blaise Genest, Alexandre Drewery. fsttcs 2023: [doi]

2022

Control strategies for off-line testing of timed systemsLéo Henry, Thierry Jéron, Nicolas Markey. fmsd, 60(2):147-194, April 2022. [doi]

2021

Diagnosing timed automata using timed markingsPatricia Bouyer, Léo Henry, Samy Jaziri, Thierry Jéron, Nicolas Markey. STTT, 23(2):229-253, 2021. [doi]

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. PhD thesis, University of Rennes 1, France, 2021. [doi]

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, University of Rennes 1, France, 2021. [doi]

2020

Active Learning of Timed Automata with Unobservable ResetsLéo Henry, Thierry Jéron, Nicolas Markey. formats 2020: 144-160 [doi]

2018

Control Strategies for Off-Line Testing of Timed SystemsLéo Henry, Thierry Jéron, Nicolas Markey. spin 2018: 171-189 [doi]

Sign in or sign up to see more results.

runs on WebDSL