1. Solving Infinite-State Games via Acceleration;Proceedings of the ACM on Programming Languages;2024-01-05
2. Symbolic Fixpoint Algorithms for Logical LTL Games;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
3. Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET;Computer Aided Verification;2022
4. Reactive Synthesis Modulo Theories using Abstraction Refinement;Form Comp Aid Design;2022
5. GenSys: a scalable fixed-point engine for maximal controller synthesis over infinite state spaces;Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2021-08-18