Strategic Planning through Model Checking of ATL Formulae

W.J. Jamroga

    Research output: Contribution to conferencePosterOther research output

    Original languageEnglish
    Number of pages1
    Publication statusPublished - 9 Jun 2004
    Event7th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2004 - Zakopane, Poland
    Duration: 7 Jun 200411 Jun 2004
    Conference number: 7

    Workshop

    Workshop7th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2004
    Abbreviated titleICAISC
    CountryPoland
    CityZakopane
    Period7/06/0411/06/04

    Cite this