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…