Optimal paths in weighted timed automata (0)

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