Conformant planning via symbolic model checking (2000)

by A Cimatti, M Roveri
Venue:Journal of Artificial Intelligence Research