1. Resolving Goal-Conflicts and Scaling Synthesis through Mode-Based Decomposition;Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings;2024-04-14
2. On tolerance of discrete systems with respect to transition perturbations;Discrete Event Dynamic Systems;2023-10-17
3. Automated Repair of Unrealisable LTL Specifications Guided by Model Counting;Proceedings of the Genetic and Evolutionary Computation Conference;2023-07-12
4. Efficient Reactive Synthesis Using Mode Decomposition;Theoretical Aspects of Computing – ICTAC 2023;2023
5. Linear Temporal Logic – From Infinite to Finite Horizon;Automated Technology for Verification and Analysis;2021