Guided Synthesis of Control Programs using Uppaal

T. Hune, K.G. Larsen, P. Pettersson

    Research output: Contribution to journalArticleAcademic

    Original languageUndefined
    Pages (from-to)43-64
    Number of pages22
    JournalNordic journal of computing
    Volume8
    Issue number1
    Publication statusPublished - 2001

    Keywords

    • METIS-204802

    Cite this