Hune, Thomas S.

• 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. 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. 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. 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