Stochastic games with finitary objectives (2009)

by K Chatterjee, T A Henzinger, F Horn
Venue:In Proc. of MFCS, LNCS 5734