Minimum-Cost Reachability for Priced Timed Automata

K.G. Larsen, Ansgar Fehnker, T. Hune, F. Vaandrager

  • 180 Citations
Original languageUndefined
Pages (from-to)147-161
JournalLecture notes in artificial intelligence
Volume2034
StatePublished - 2001

Keywords

  • METIS-205774

Cite this

Larsen, K.G.; Fehnker, Ansgar; Hune, T.; Vaandrager, F. / Minimum-Cost Reachability for Priced Timed Automata.

In: Lecture notes in artificial intelligence, Vol. 2034, 2001, p. 147-161.

Research output: Scientific - peer-reviewArticle

@article{a7c80d63a6ff43a18cd90225c122ddee,
title = "Minimum-Cost Reachability for Priced Timed Automata",
keywords = "METIS-205774",
author = "K.G. Larsen and Ansgar Fehnker and T. Hune and F. Vaandrager",
note = "Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control, ISB 3-540-41866-0, Berlin: Springer-Verlag,",
year = "2001",
volume = "2034",
pages = "147--161",
journal = "Lecture notes in artificial intelligence",
issn = "0302-9743",
publisher = "Springer Verlag",

}

Larsen, KG, Fehnker, A, Hune, T & Vaandrager, F 2001, 'Minimum-Cost Reachability for Priced Timed Automata' Lecture notes in artificial intelligence, vol 2034, pp. 147-161.

Minimum-Cost Reachability for Priced Timed Automata. / Larsen, K.G.; Fehnker, Ansgar; Hune, T.; Vaandrager, F.

In: Lecture notes in artificial intelligence, Vol. 2034, 2001, p. 147-161.

Research output: Scientific - peer-reviewArticle

TY - JOUR

T1 - Minimum-Cost Reachability for Priced Timed Automata

AU - Larsen,K.G.

AU - Fehnker,Ansgar

AU - Hune,T.

AU - Vaandrager,F.

N1 - Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control, ISB 3-540-41866-0, Berlin: Springer-Verlag,

PY - 2001

Y1 - 2001

KW - METIS-205774

M3 - Article

VL - 2034

SP - 147

EP - 161

JO - Lecture notes in artificial intelligence

T2 - Lecture notes in artificial intelligence

JF - Lecture notes in artificial intelligence

SN - 0302-9743

ER -