Lower-bound constrained runs in weighted timed automata (2012)

by P Bouyer, K G Larsen, N Markey
Venue:In QEST