1. An Online Planning Framework for Multi-Robot Systems with LTL Specification;2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS);2024-05-13
2. Translation of Semi-extended Regular Expressions Using Derivatives;Lecture Notes in Computer Science;2024
3. What's in a Name? Linear Temporal Logic Literally Represents Time Lines;2023 IEEE Working Conference on Software Visualization (VISSOFT);2023-10-01
4. Markov chains and unambiguous automata;Journal of Computer and System Sciences;2023-09
5. Dissecting ltlsynt;Formal Methods in System Design;2023-07-14