Expected Reachability−Time Games

Bibliographic Details
Main Authors: Forejt, V, Kwiatkowska, M, Norman, G, Trivedi, A
Format: Report
Published: OUCL 2010