The Complexity of Solving Reachability Games Using Value and Strategy Iteration.

Kristoffer Arnsfelt Hansen, Rasmus Ibsen-Jensen, Peter Bro Miltersen

Browse the full CSR paper archive.