Synthesis of Optimal Strategies Using HyTech

K.G. Larsen, P. Bouyer, F. Cassez, E. Fleury

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Original languageUndefined
    Title of host publicationENTCS: Proceedings of the Workshop on Games in Design and Verification
    PublisherElsevier Science
    Pages-
    Publication statusPublished - 2005

    Keywords

    • METIS-223929

    Cite this