Lower-Bound Constrained Runs in Weighted Timed Automata

by Patricia Bouyer, Kim G. Larsen, Nicolas Markey