Optimal Paths in Weighted Timed Automata (2001)

by Rajeev Alur , Salvatore La Torre , George J. Pappas
Venue:HSCC
Citations:91 - 5 self