Recursive concurrent stochastic games, in: (2006)

by K Etessami, M Yannakakis
Venue:Proc. 33rd ICALP,