@inproceedings{henry_compositional_2025, title = {{Compositional Active Learning of Synchronizing Systems through Automated Alphabet Refinement}}, author = {Henry, L\'{e}o and Neele, Thomas and Mousavi, Mohammad and Sammartino, Matteo}, year = {2025}, publisher = {Dagstuhl}, booktitle = {CONCUR 2025}, pages = {20:1--20:22}, series = {LIPIcs}, volume = {}, doi = {https://doi.org/10.4230/LIPIcs.CONCUR.2025.20}, }