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

    Behrmann, G., Fehnker, A., Hune, T., Larsen, K. G., Pettersson, P., & Romijn, J. M. T. (2001). Efficient Guiding Towards Cost-Optimality in Uppaal. Lecture notes in artificial intelligence, 2031, -.