news
| May 27, 2025 | 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! |
|---|
| May 27, 2025 | 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! |
|---|