TY - RPRT TI - A Detailed Account of Compositional Automata Learning through Alphabet Refinement AU - Leo Henry AU - Thomas Neele AU - Mohammad Reza Mousavi AU - Matteo Sammartino PY - 2026 UR - https://arxiv.org/abs/2504.16624 ID - 2504.16624 ER -