Conformant Planning via Symbolic Model Checking (0)

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