Sciweavers

63
Voted
ICAISC
2004
Springer
15 years 2 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 ...
Wojciech Jamroga