@incollection{henry_compositional_2025,
    title = {{Compositional Active Learning of Synchronous Systems through Automated Alphabet Refinement}},
    author = {Henry, L\'{e}o and Neele, Thomas and Mousavi, Mohammad and Sammartino, Matteo},
    year = {2025},
    booktitle = {},
    pages = {},
    publisher = {arXiv},
    series = {CoRR},
    volume = {abs/2504.16624},
    doi = {10.48550/ARXIV.2504.16624},
}