1. (Un)Decidability Bounds of the Synthesis Problem for Petri Games;Electronic Proceedings in Theoretical Computer Science;2023-09-30
2. Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation;Automated Technology for Verification and Analysis;2023
3. A Dynamic Obfuscation Framework for Security and Utility;2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS);2022-05
4. Specifiable robustness in reactive synthesis;Formal Methods in System Design;2022-04
5. The Synthesis Problem for Repeatedly Communicating Petri Games;Application and Theory of Petri Nets and Concurrency;2022