Behrmann, Gerd

• BRICS Report Series No. 47 (1998): RS-47 Efficient Timed Reachability Analysis using Clock Difference Diagrams - Articles
  Efficient Timed Reachability Analysis using Clock Difference Diagrams
  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