1. Abeywickrama, D., & Zambonelli, F. (2012). Model checking goal-oriented requirements for self-adaptive systems. In International conference and workshops on engineering of computer based systems (ECBS), Novi Sad, Serbia.
2. Albore, A., Palacios, H., & Geffner, H. (2009) A. translation-based approach to contingent planning. In International joint conference on artificial intelligence (IJCAI), Providence, RI, USA.
3. Albore, A., Palacios, H., & Geffner, H. (2010). Compiling uncertainty away in non-deterministic conformant planning. In European conference on artificial intelligence (ECAI), Lisbon, Portugal.
4. Albore, A., Ramirez, M., & Geffner, H. (2011). Effective heuristics and belief tracking for planning with incomplete information. In International conference on automated planning and scheduling (ICAPS), Freiburg, Germany.
5. Baral, C., Kreinovich, V., & Trejo, R. (2000). Computational complexity of planning and approximate planning in the presence of incompleteness. Artificial Intelligence, 122(1–2), 241–267.