Optimal paths in weighted timed automata (2001)

by R Alur, S La Torre, G J Pappas
Venue:In Proc. 4th International Workshop on Hybrid Systems: Computation and Control (HSCC’01), volume 2034 of LNCS