Author:
Hahn Ernst Moritz,Schewe Sven,Turrini Andrea,Zhang Lijun
Publisher
Springer International Publishing
Reference50 articles.
1. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. JACM 49(5), 672–713 (2002)
2. Lecture Notes in Computer Science;D Andersson,2009
3. Lecture Notes in Computer Science;D Berwanger,2006
4. Björklund, H., Vorobyov, S.: A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games. DAM 155(2), 210–229 (2007)
5. Browne, A., Clarke, E.M., Jha, S., Long, D.E., Marrero, W.R.: An improved algorithm for the evaluation of fixpoint expressions. TCS 178(1–2), 237–255 (1997)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献