Compositional Active Learning of Synchronizing Systems through Automated Alphabet Refinement

Open in new window