The Complexity of Solving Reachability Games Using Value and Strategy Iteration

Kristoffer Arnsfelt Hansen, Rasmus Ibsen-Jensen, Peter Bro Miltersen. The Complexity of Solving Reachability Games Using Value and Strategy Iteration. In Alexander S. Kulikov, Nikolay K. Vereshchagin, editors, Computer Science - Theory and Applications - 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings. Volume 6651 of Lecture Notes in Computer Science, pages 77-90, Springer, 2011. [doi]

Abstract

Abstract is missing.