@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},
}