A Detailed Account of Compositional Automata Learning through Alphabet Refinement
arXiv:2504.16624v3 Announce Type: replace
Abstract: Active automata learning infers automaton models of systems from behavioral observations, a technique successfully applied to a wide range of domains. Compositional approaches have recently emerged t…