Vaandrager, Frits W.
-
BRICS Report Series No. 5 (2001): RS-5 Linear Parametric Model Checking of Timed Automata - Articles
Linear Parametric Model Checking of Timed Automata
Abstract PDF -
BRICS Report Series No. 3 (2001): RS-3 Minimum-Cost Reachability for Priced Timed Automata - Articles
Minimum-Cost Reachability for Priced Timed Automata
Abstract PDF