Approximating the Value of a Concurrent Reachability Game in the Polynomial Time Hierarchy.

Sren Kristoffer Stiil Frederiksen, Peter Bro Miltersen

Browse the full ISAAC paper archive.