Efficient Guiding Towards Cost-Optimality in Uppaal

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

  • 86 Citations
Original languageUndefined
Pages (from-to)-
Number of pages188
JournalLecture notes in artificial intelligence
Volume2031
StatePublished - 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, Vol. 2031, 2001, p. -.

Research output: Scientific - peer-reviewArticle

@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",
volume = "2031",
pages = "--",
journal = "Lecture notes in artificial intelligence",
issn = "0302-9743",
publisher = "Springer Verlag",

}

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: Scientific - peer-reviewArticle

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

T2 - 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:-.