2 papers
cs.LO2020
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…
cs.FL2018
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…