Author:
de Alfaro L.,Henzinger T.A.,Majumdar R.
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Objective Improvement Approach to Solving Discounted Payoff Games;Electronic Proceedings in Theoretical Computer Science;2023-09-30
2. Efficient Algorithms for Omega-Regular Energy Games;Formal Methods;2021
3. An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space;International Journal on Software Tools for Technology Transfer;2019-02-25
4. ROCS;Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week);2018-04-11
5. An ordered approach to solving parity games in quasi polynomial time and quasi linear space;Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software;2017-07-13