Logotype Mälardalenn University

MRTC publications



Guiding and Cost-Optimality in UPPAAL,

Authors: Gerd Berhmann (Aalborg University, Denmark), Ansgar Fehnker (external), Thomas Hune (external), Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, Judi Romijn (external)
Source: the 2001 AAAI Spring Symposium Series: Model-Based Validation of Intelligence.
 

Abstract

 

BibTeX entry

@inproceedings{Berhmann_2840:2001,
   author = {Gerd Berhmann and Ansgar Fehnker and Thomas Hune and Kim Guldstrand Larsen and Paul Pettersson and Judi Romijn},
   title = {Guiding and Cost-Optimality in UPPAAL, },
   booktitle = {the 2001 AAAI Spring Symposium Series: Model-Based Validation of Intelligence.},
   month = {May},
   year = {2001},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=2840},
}

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2012.08.24