Compositional Active Learning of Synchronizing Systems Through Automated Alphabet Refinement.

Lo Henry, Mohammad Reza Mousavi, Thomas Neele, Matteo Sammartino

Browse the full CONCUR paper archive.