1. Generating safe assumption-based plans for partially observable, nondeterministic domains;Albore,2004
2. F. Bacchus, C. Boutilier, A.J. Grove, Rewarding behaviors, in: Proceedings of AAAI-96, Portland, OR, 1996
3. F. Bacchus, C. Boutilier, A.J. Grove, Structured solution methods for non-Markovian decision processes, in: Proceedings of AAAI-97, Providence, RI, 1997
4. Symbolic model checking: 1020 states and beyond;Burch;Inform. and Comput.,1992
5. P. Bertoli, A. Cimatti, M. Pistore, M. Roveri, P. Traverso, MBP: a model based planner, in: Proceeding of ICAI-2001 workshop on Planning under Uncertainty and Incomplete Information, Seattle, WA, 2001, pp. 93–97