Author:
Gurevich Yuri,Harrington Leo
Cited by
111 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Church synthesis on register automata over linearly ordered data domains;Formal Methods in System Design;2023-10-10
2. Practical Applications of the Alternating Cycle Decomposition;Tools and Algorithms for the Construction and Analysis of Systems;2022
3. A Direct Symbolic Algorithm for Solving Stochastic Rabin Games;Tools and Algorithms for the Construction and Analysis of Systems;2022
4. Reachability Games and Parity Games;Lecture Notes in Computer Science;2022
5. Alternating Good-for-MDPs Automata;Automated Technology for Verification and Analysis;2022