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.
Articolo in rivista - Articolo scientifico
model checking; non-determinism; Planning;
English
257
259
3
Mercorio, F. (2013). Model checking for universal planning in deterministic and non-deterministic domains. AI COMMUNICATIONS, 26(2), 257-259 [10.3233/AIC-130556].
Mercorio, F
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/43705
Citazioni
  • Scopus 14
  • ???jsp.display-item.citation.isi??? 8
Social impact