Efficient Guiding Towards Cost-Optimality in Uppaal

G. Behrmann, Ansgar Fehnker, T. Hune, K.G. Larsen, P. Pettersson, J.M.T. Romijn

    Research output: Contribution to journalArticleAcademicpeer-review

    92 Citations (Scopus)
    Original languageUndefined
    Pages (from-to)-
    Number of pages188
    JournalLecture notes in artificial intelligence
    Volume2031
    Publication statusPublished - 2001

    Keywords

    • METIS-205772

    Cite this