
## References

Bertoli, P., & Cimatti, A. (2002). Improving heuristics for planning as search in belief space. In Proceedings of AIPS'02.

Bertoli, P., Cimatti, A., & Roveri, M. (2001a). Heuristic search + symbolic model checking =
efficient conformant planning. In *Proceedings of IJCAI'01*.

Bertoli, P., Cimatti, A., Roveri, M., & Traverso, P. (2001b). Planning in nondeterministic domains under partial observability via symbolic model checking. In *Proceedings of IJCAI'01*.
Blum, A., & Furst, M. (1995). Fast planning through planning graph analysis. In *Proceedings of* IJCAI'95.

Bonet, B., & Geffner, H. (1999). Planning as heuristic search: New results. In Proceedings of ECP'99.

Bonet, B., & Geffner, H. (2000). Planning with incomplete information as heuristic search in belief space. In *Proceedings of AIPS'00*.

Brace, K., Rudell, R., & Bryant, R. (1990). Efficient implementation of a bdd package. In *Proceedings of the 27th ACM/IEEE design automation conference*.

Bryant, R. (1986). Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, *C-35*(8), 677–691.

Bryce, D., & Kambhampati, S. (2004). Heuristic guidance measures for conformant planning. In Proceedings of ICAPS'04.

Castellini, C., Giunchiglia, E., & Tacchella, A. (2001). Improvements to sat-based conformant planning. In *Proceedings of ECP'01*.

Cimatti, A., & Roveri, M. (2000). Conformant planning via symbolic model checking. Journal of Artificial Intelligence Research, 13, 305–338.

Cormen, T. H., Leiserson, C. E., & Rivest, R. L. (1990). *Introduction to Algorithms*. McGraw-Hill. Cushing, W., & Bryce, D. (2005). State agnostic planning graphs. In *Proceedings of AAAI'05*.

de Kleer, J. (1986). An Assumption-Based TMS. *Artificial Intelligence,* 28(2), 127–162.

Genesereth, M. R., & Nourbakhsh, I. R. (1993). Time-saving tips for problem solving with incomplete information. In *Proceedings of AAAI'93*.

Hansen, E., & Zilberstein, S. (2001). LAO: A heuristic-search algorithm that finds solutions with loops. Artificial Intelligence, 129(1–2), 35–62.

Hoffmann, J., & Brafman, R. (2004). Conformant planning via heuristic forward search: A new approach. In *Proceedings of ICAPS'04*.

Hoffmann, J., & Nebel, B. (2001). The FF planning system: Fast plan generation through heuristic search. *Journal of Artificial Intelligence Research*, 14, 253–302.

Kambhampati, S., Ihrig, L., & Srivastava, B. (1996). A candidate set based analysis of subgoal interactions in conjunctive goal planning. In *Proceedings of AIPS'96*.

Koehler, J., Nebel, B., Hoffmann, J., & Dimopoulos, Y. (1997). Extending planning graphs to an adl subset. In *Proceedings of ECP'97*.