Optimal paths in weighted timed automata (2001)

by R Alur, S L Torre, G Pappas
Venue:in Hybrid Systems: Computation and Control, 4th Int. Workshop, ser. Lecture Notes in Computer Science