News
| Oct 26, 2026 | Our paper “Learning Functional Specifications from Stateful Control Programs through Active Model Learning” was accepted to IEEE Access! |
|---|---|
| Mar 25, 2026 | Our paper “Active Learning of Symbolic Automata for Reactive Programs via Dynamic Symbolic Mapper” was accepted to FSE 2026! |
| Mar 16, 2026 | My personal website is now live! |