Weak, strong, and strong cyclic planning via symbolic model checking, Artificial Intelligence, vol.147, issue.1-2, pp.35-84, 2003. ,
DOI : 10.1016/S0004-3702(02)00374-0
The FF planning system: Fast plan generation through heuristic search, JAIR, vol.14, pp.253-302, 2001. ,
Model-lite planning for the web age masses: The challenges of planning with incomplete and evolving domain models, Proc. AAAI'07, 2007. ,
Simulation, verification and automated composition of web services, Proceedings of the eleventh international conference on World Wide Web , WWW '02, 2002. ,
DOI : 10.1145/511446.511457
Automated composition of web services by planning in asynchronous domains, Proc. ICAPS'05, 2005. ,
Business Process Management: Concepts, Languages , Architectures, 2007. ,
DOI : 10.1007/978-3-642-28616-2
FF-Replan: A baseline for probabilistic planning, Proc. ICAPS'07, 2007. ,