Optimal paths in weighted timed automata (2001)

by Rajeev Alur, Salvatore La Torre, George J Pappas
Venue:Hybrid Systems: Computation and Control: . . . HSCC, volume 2034 of LNCS