G.: Optimal paths in weighted timed automata (2004)

by R Alur, La Torre, S Pappas
Venue:Theoretical Computer Science