Model checking for universal planning in deterministic and non-deterministic domains

Article type: Other

Authors: Mercorio, Fabio

Affiliations: Department of Statistics and Quantitative Methods, CRISP Research Centre, University of Milan-Bicocca, Milan, Italy. E-mail: [email protected]

Abstract: This thesis is concerned with solving planning problems in deterministic and non-deterministic domains through explicit model checking techniques. The contribution is twofold: on one side we developed the V-UPMurphi tool, which applies a disk-based planning approach for efficient storage during the plan synthesis. On the other side we developed and formally analysed an algorithm to solve cost-optimal strong planning problems in non-deterministic contexts. Finally, we applied the developed algorithms and tools to several application domains, many of which are inspired by real world scenarios.

Keywords: Planning, model checking, non-determinism

DOI: 10.3233/AIC-130556

Journal: AI Communications, vol. 26, no. 2, pp. 257-259, 2013