Hune, Thomas S.
-
BRICS Report Series No. 37 (2000): RS-37 Guided Synthesis of Control Programs for a Batch Plant using UPPAAL - Articles
Guided Synthesis of Control Programs for a Batch Plant using UPPAAL
Abstract PDF -
BRICS Report Series No. 17 (2000): RS-17 Modeling a Language for Embedded Systems in Timed Automata - Articles
Modeling a Language for Embedded Systems in Timed Automata
Abstract PDF -
BRICS Report Series No. 22 (2000): RS-22 Using Automata in Control Synthesis. A Case Study - Articles
Using Automata in Control Synthesis. A Case Study
Abstract PDF -
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. 4 (1998): RS-04 Timed Bisimulation and Open Maps - Articles
Timed Bisimulation and Open Maps
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