Minimum-Cost Reachability for Priced Timed Automata

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

Research output: Contribution to journal › Article › Academic › peer-review

Original language	Undefined
Pages (from-to)	147-161
Journal	Lecture notes in artificial intelligence
Volume	2034
Publication status	Published - 2001

Keywords

@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 Computer Science",

issn = "0302-9743",

publisher = "Springer",

}

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 Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -