Announcement1
My paper with Leo Henry, Thomas Neele and Mohammad Reza Mousavi Compositional Active Learning of Synchronizing Systems through Automated Alphabet Refinement has been accepted at CONCUR 2025!
Enjoy Reading This Article?
Here are some more articles you might like to read next: