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.
Mercorio, F. (2013). Model checking for universal planning in deterministic and non-deterministic domains. AI COMMUNICATIONS, 26(2), 257-259 [10.3233/AIC-130556].
Model checking for universal planning in deterministic and non-deterministic domains
MERCORIO, FABIO
2013
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.