5 citations · 5 across the 6 of their papers we have counts for
6 papers
A Detailed Account of Compositional Automata Learning through Alphabet Refinement
Leo Henry, Thomas Neele, Mohammad Reza Mousavi +1
Active automata learning infers automaton models of systems from behavioral observations, a technique successfully applied to a wide range of domains. Compositional approaches have…
Distributed Monitoring of Timed Properties
Léo Henry, Thierry Jéron, Nicolas Markey +1
In formal verification, runtime monitoring consists of observing the execution of a system in order to decide as quickly as possible whether or not it satisfies a given property. W…
Conflict-Aware Active Automata Learning
Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva +1
Active automata learning algorithms cannot easily handle conflict in the observation data (different outputs observed for the same inputs). This inherent inability to recover after…
Conflict-Aware Active Automata Learning (Extended Version)
Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva +1
Active automata learning algorithms cannot easily handle conflict in the observation data (different outputs observed for the same inputs). This inherent inability to recover after…
Active learning of timed automata with unobservable resets
Léo Henry, Nicolas Markey, Thierry Jéron
Active learning of timed languages is concerned with the inference of timed automata from observed timed words. The agent can query for the membership of words in the target langua…
Control strategies for off-line testing of timed systems
Léo Henry, Thierry Jéron, Nicolas Markey
Partial observability and controllability are two well-known issues in test-case synthesis for interactive systems. We address the problem of partial control in the synthesis of te…