Strategic Planning through Model Checking of ATL Formulae

L. Rutkowski (Editor), W.J. Jamroga, J. Siekmann (Editor), R. Tadeusiewicz (Editor), L.A. Zadeh (Editor)

    Research output: Contribution to conferencePaper

    Abstract

    Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns a strategy to achieve given goal. We point out that the algorithm generalizes minimaxing, and that ATL models generalize traditional game trees. The paper ends with suggestions about other game theory concepts that can be transfered to ATL-based planning. Keywords: Multi-agent systems, multi-agent planning, model checking.
    Original languageUndefined
    Pages879-884
    Number of pages6
    DOIs
    Publication statusPublished - 2004

    Keywords

    • IR-63392
    • HMI-IA: Intelligent Agents
    • EWI-6757

    Cite this

    Rutkowski, L. (Ed.), Jamroga, W. J., Siekmann, J. (Ed.), Tadeusiewicz, R. (Ed.), & Zadeh, L. A. (Ed.) (2004). Strategic Planning through Model Checking of ATL Formulae. 879-884. https://doi.org/10.1007/b98109