Optimal Paths in Weighted Timed Automata (2001)

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