Efficient Guiding Towards Cost-Optimality in Uppaal

G. Behrmann, Ansgar Fehnker, T. Hune, K.G. Larsen, P. Pettersson, J.M.T. Romijn

Research output: Contribution to journalArticleAcademicpeer-review

90 Citations (Scopus)
Original languageUndefined
Pages (from-to)-
Number of pages188
JournalLecture notes in artificial intelligence
Volume2031
Publication statusPublished - 2001

Keywords

  • METIS-205772

Cite this

Behrmann, G., Fehnker, A., Hune, T., Larsen, K. G., Pettersson, P., & Romijn, J. M. T. (2001). Efficient Guiding Towards Cost-Optimality in Uppaal. Lecture notes in artificial intelligence, 2031, -.
Behrmann, G. ; Fehnker, Ansgar ; Hune, T. ; Larsen, K.G. ; Pettersson, P. ; Romijn, J.M.T. / Efficient Guiding Towards Cost-Optimality in Uppaal. In: Lecture notes in artificial intelligence. 2001 ; Vol. 2031. pp. -.
@article{88e3dec7ce9f469c945c811425a98c57,
title = "Efficient Guiding Towards Cost-Optimality in Uppaal",
keywords = "METIS-205772",
author = "G. Behrmann and Ansgar Fehnker and T. Hune and K.G. Larsen and P. Pettersson and J.M.T. Romijn",
note = "Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, ISB 3-540-41865-2, Berlin: Springer-Verlag",
year = "2001",
language = "Undefined",
volume = "2031",
pages = "--",
journal = "Lecture notes in artificial intelligence",
issn = "0302-9743",
publisher = "Springer",

}

Behrmann, G, Fehnker, A, Hune, T, Larsen, KG, Pettersson, P & Romijn, JMT 2001, 'Efficient Guiding Towards Cost-Optimality in Uppaal' Lecture notes in artificial intelligence, vol. 2031, pp. -.

Efficient Guiding Towards Cost-Optimality in Uppaal. / Behrmann, G.; Fehnker, Ansgar; Hune, T.; Larsen, K.G.; Pettersson, P.; Romijn, J.M.T.

In: Lecture notes in artificial intelligence, Vol. 2031, 2001, p. -.

Research output: Contribution to journalArticleAcademicpeer-review

TY - JOUR

T1 - Efficient Guiding Towards Cost-Optimality in Uppaal

AU - Behrmann, G.

AU - Fehnker, Ansgar

AU - Hune, T.

AU - Larsen, K.G.

AU - Pettersson, P.

AU - Romijn, J.M.T.

N1 - Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, ISB 3-540-41865-2, Berlin: Springer-Verlag

PY - 2001

Y1 - 2001

KW - METIS-205772

M3 - Article

VL - 2031

SP - -

JO - Lecture notes in artificial intelligence

JF - Lecture notes in artificial intelligence

SN - 0302-9743

ER -

Behrmann G, Fehnker A, Hune T, Larsen KG, Pettersson P, Romijn JMT. Efficient Guiding Towards Cost-Optimality in Uppaal. Lecture notes in artificial intelligence. 2001;2031:-.