Sciweavers

ICAISC
2004
Springer

Strategic Planning through Model Checking of ATL Formulae

13 years 9 months ago
Strategic Planning through Model Checking of ATL Formulae
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.
Wojciech Jamroga
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where ICAISC
Authors Wojciech Jamroga
Comments (0)