Strategic Planning through Model Checking of ATL Formulae

W.J. Jamroga

    Research output: Contribution to conferencePoster

    Original languageUndefined
    Pages-
    Publication statusPublished - 9 Jun 2004

    Keywords

    • METIS-221744

    Cite this