Strategic Planning through Model Checking of ATL Formulae

  • W.J. Jamroga

    Research output: Contribution to conference › Poster › Other 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 2004 → 11 Jun 2004
    Conference number: 7

    Workshop

    Workshop7th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2004
    Abbreviated titleICAISC
    Country/TerritoryPoland
    CityZakopane
    Period7/06/04 → 11/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 proceeding › Chapter › Academic › peer-review

      13 Citations (Scopus)
      8 Downloads (Pure)

    Cite this