Minimum-Cost Reachability for Priced Timed Automata

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

    Research output: Contribution to journalArticleAcademicpeer-review

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

    JF - Lecture Notes in Computer Science

    SN - 0302-9743

    ER -