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

AI Communications

Volumn 26, Issue 2, 2013, Pages 257-259

  Mercorio, Fabio ^a  

^a UNIVERSITY OF MILANO BICOCCA   (Italy)

Author keywords

model checking; non determinism; Planning

Indexed keywords

DISK-BASED; EXPLICIT MODEL CHECKING; NON-DETERMINISM; PLAN SYNTHESIS; PLANNING PROBLEM; REAL-WORLD SCENARIO;

ALGORITHMS; PLANNING; TOOLS;

MODEL CHECKING;

EID: 84879871911     PISSN: 09217126     EISSN: None     Source Type: Journal    
DOI: 10.3233/AIC-130556     Document Type: Article

References (4)

1. A. Cimatti, M. Pistore, M. Roveri and P. Traverso,Weak, strong, and strong cyclic planning via symbolic model checking, Artificial Intelligence 147(1,2) (2003), 35-84.
2. G. Della Penna, B. Intrigila, D. Magazzeni and F. Mercorio, UPMurphi: a tool for universal planning on PDDL+ problems, in: ICAPS, AAAI Press, 2009, pp. 106-113.
3. R. Howey, D. Long and M. Fox, VAL: Automatic plan validation, continuous effects and mixed initiative planning using PDDL, in: ICTAI, IEEE, 2004, pp. 294-301.
4. F. Mercorio, Model checking for the analysis and control of complex and non-deterministic systems, PhD thesis, University of L'Aquila, Italy, 2012, available at: http://hdl.handle.net/10281/36432.