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. Theory Comput. Syst., 55(2):380-403, 2014. [doi]

Abstract

Abstract is missing.