Author:
Alur Rajeev,Moarref Salar,Topcu Ufuk
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Physically Feasible Repair of Reactive, Linear Temporal Logic-Based, High-Level Tasks;IEEE Transactions on Robotics;2023-12
2. Contract-Based Specification Refinement and Repair for Mission Planning;2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE);2023-05
3. ACoRe: Automated Goal-Conflict Resolution;Fundamental Approaches to Software Engineering;2023
4. Compositional High-Quality Synthesis;Automated Technology for Verification and Analysis;2023
5. Synthesizing Permissive Winning Strategy Templates for Parity Games;Computer Aided Verification;2023