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

Authors:
Fabio Mercorio
Affiliations:
Department of Statistics and Quantitative Methods, CRISP Research Centre, University of Milan-Bicocca, Milan, Italy. E-mail: fabio.mercorio@unimib.it
Venue:
AI Communications
Year:
2013

Citing 2
Cited 0

Weak, strong, and strong cyclic planning via symbolic model checking

Artificial Intelligence - special issue on planning with uncertainty and incomplete information
VAL: Automatic Plan Validation, Continuous Effects and Mixed Initiative Planning Using PDDL

ICTAI '04 Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

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.