Heuristic search + symbolic model checking = efficient conformant planning (2001)

by Piergorgio Bertoli, Alessandro Cimatti, Marco Roveri
Venue:In Proceedings of the Seventeenth International Conference on Artificial Intelligence (IJCAI-01