Author:
Boker Udi,Chatterjee Krishnendu,Henzinger Thomas A.,Kupferman Orna
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Solving mean-payoff games via quasi dominions;Information and Computation;2024-03
2. Solving Mean-Payoff Games via Quasi Dominions;Tools and Algorithms for the Construction and Analysis of Systems;2020
3. Synthesis from component libraries with costs;Theoretical Computer Science;2018-02
4. The Complexity of Mean-Payoff Pushdown Games;Journal of the ACM;2017-10-15
5. Model measuring for discrete and hybrid systems;Nonlinear Analysis: Hybrid Systems;2017-02