Stochastic Timed Games Revisited.

S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi

Browse the full MFCS paper archive.