Romijn, Judi
-
BRICS Report Series Nr. 5 (2001): RS-5 Linear Parametric Model Checking of Timed Automata - Artikler
Linear Parametric Model Checking of Timed Automata
Resumé PDF (English) -
BRICS Report Series Nr. 3 (2001): RS-3 Minimum-Cost Reachability for Priced Timed Automata - Artikler
Minimum-Cost Reachability for Priced Timed Automata
Resumé PDF (English) -
BRICS Report Series Nr. 4 (2001): RS-4 Efficient Guiding Towards Cost-Optimality in UPPAAL - Artikler
Efficient Guiding Towards Cost-Optimality in UPPAAL
Resumé PDF (English)