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
    Country/TerritoryPoland
    CityZakopane
    Period7/06/0411/06/04
    • Strategic Planning through Model Checking of ATL Formulae

      Jamroga, W. J., 2004, Artificial Intelligence and Soft Computing - ICAISC 2004: 7th International Conference, Zakopane, Poland, June 7-11, 2004. Proceedings. Rutkowski, L., Siekmann, J., Tadeusiewicz, R. & Zadeh, L. A. (eds.). Berlin: Springer, p. 879-884 (Lecture Notes in Computer Science; vol. 3070)(Lecture Notes in Artificial Intelligence).

      Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

      12 Citations (Scopus)
      8 Downloads (Pure)

    Cite this