DMCA

Optimal Paths in Weighted Timed Automata (2001)

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