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

by P Bertoli, A Cimatti, M Roveri
Venue:In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence