Simple Stochastic Games and Propositional Proof Systems Toniann Pitassi Joint work with Lei Huang University of Toronto.
Concurrent Reachability Games Peter Bro Miltersen Aarhus University 1CTW 2009.
Concurrent Reachability Games