@misc{indiciaeb7e57f710406, title = {A Detailed Account of Compositional Automata Learning through Alphabet Refinement}, author = {Leo Henry and Thomas Neele and Mohammad Reza Mousavi and Matteo Sammartino}, year = {2026}, url = {https://arxiv.org/abs/2504.16624}, note = {Source identifier: 2504.16624} }