Expected reachability-time games (2010)

by V Forejt, M Kwiatkowska, G Norman, A Trivedi
Venue:in Proc. FORMATS’10, ser. LNCS