5 citations · 5 across the 5 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2025
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…
cs.LG2023
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…