GreenCode publications

1. King's College London

   Compositional Active Learning of Synchronizing Systems through Automated Alphabet Refinement

   L. Henry , M.R. Mousavi , T. Neele, M. Sammartino

   Paper · Proceedings of the 36th International Conference on Concurrency Theory (CONCUR 2025), LIPIcs Series, 2025. (Best paper award) Extended version on Arxiv · 2025

   Details and citation