Author:
Kupferman Orna,Shenwald Noam
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The Complexity of LTL Rational Synthesis;ACM Transactions on Computational Logic;2024-04-16
2. Perspective Games;ACM Transactions on Computational Logic;2024-01-17
3. The Complexity of LTL Rational Synthesis;Tools and Algorithms for the Construction and Analysis of Systems;2022