Model checking for universal planning in deterministic and non-deterministic domains
Fabio Mercorio · AI Communications · 2013
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 p