Minimum-Cost Reachability for Priced Timed Automata

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

    Research output: Contribution to journalArticleAcademicpeer-review

    207 Citations (Scopus)
    Original languageUndefined
    Pages (from-to)147-161
    JournalLecture notes in artificial intelligence
    Volume2034
    Publication statusPublished - 2001

    Keywords

    • METIS-205774

    Cite this