Romijn, Judi
-
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 -
BRICS Report Series No. 4 (2001): RS-4 Efficient Guiding Towards Cost-Optimality in UPPAAL - Articles
Efficient Guiding Towards Cost-Optimality in UPPAAL
Abstract PDF
