Optimal reachability for weighted timed games (2004)

by R Alur, M Bernadsky, P Madhusudan
Venue:Proc. ICALP’04, volume 3142 of LNCS