King's College London publishes "Compositional Active Learning of Synchronizing Systems through Automated Alphabet Refinement" in Proceedings of the 36th International Conference on Concurrency Theory (CONCUR 2025), LIPIcs Series, 2025. (Best paper award) Extended version on Arxiv.
Authors: L. Henry, M.R. Mousavi, T. Neele, M. Sammartino
Contributing partner: King's College London
