Minimum-Cost Reachability for Priced Timed Automata

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

Research output: Contribution to journalArticleAcademicpeer-review

195 Citations (Scopus)
Original languageUndefined
Pages (from-to)147-161
JournalLecture notes in artificial intelligence
Volume2034
Publication statusPublished - 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. 2001 ; Vol. 2034. pp. 147-161.
@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",
language = "Undefined",
volume = "2034",
pages = "147--161",
journal = "Lecture notes in artificial intelligence",
issn = "0302-9743",
publisher = "Springer",

}

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: Contribution to journalArticleAcademicpeer-review

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

JF - Lecture notes in artificial intelligence

SN - 0302-9743

ER -