A synopsis for this publication will be added by the contributing partner.
Henry, L., Mousavi, M., Neele, T. & Sammartino, M. (2025). Compositional Active Learning of Synchronizing Systems through Automated Alphabet Refinement. Proceedings of the 36th International Conference on Concurrency Theory (CONCUR 2025), LIPIcs Series, 2025. (Best paper award) Extended version on Arxiv.
Henry, L., Mousavi, M., Neele, T. & Sammartino, M. (2025). Compositional Active Learning of Synchronizing Systems through Automated Alphabet Refinement. Proceedings of the 36th International Conference on Concurrency Theory (CONCUR 2025), LIPIcs Series, 2025. (Best paper award) Extended version on Arxiv.Henry, L., Mousavi, M., Neele, T. and Sammartino, M. (2025) 'Compositional Active Learning of Synchronizing Systems through Automated Alphabet Refinement', Proceedings of the 36th International Conference on Concurrency Theory (CONCUR 2025), LIPIcs Series, 2025. (Best paper award) Extended version on Arxiv.L. Henry, M. Mousavi, T. Neele, M. Sammartino, “Compositional Active Learning of Synchronizing Systems through Automated Alphabet Refinement,” Proceedings of the 36th International Conference on Concurrency Theory (CONCUR 2025), LIPIcs Series, 2025. (Best paper award) Extended version on Arxiv, 2025.Henry, L., Mousavi, M., Neele, T. and Sammartino, M. 2025. “Compositional Active Learning of Synchronizing Systems through Automated Alphabet Refinement.” Proceedings of the 36th International Conference on Concurrency Theory (CONCUR 2025), LIPIcs Series, 2025. (Best paper award) Extended version on Arxiv.Henry L, Mousavi M, Neele T, Sammartino M. Compositional Active Learning of Synchronizing Systems through Automated Alphabet Refinement. Proceedings of the 36th International Conference on Concurrency Theory (CONCUR 2025), LIPIcs Series, 2025. (Best paper award) Extended version on Arxiv. 2025.@inproceedings{henry2025, title={Compositional Active Learning of Synchronizing Systems through Automated Alphabet Refinement}, author={L. Henry and M.R. Mousavi and T. Neele and M. Sammartino}, booktitle={Proceedings of the 36th International Conference on Concurrency Theory (CONCUR 2025), LIPIcs Series, 2025. (Best paper award) Extended version on Arxiv}, year={2025} }