Conformant planning via model checking (1999)

by A CIMATTI, M ROVERI
Venue:In European Conference on Planning. Springer Verlag, LNAI 1809