Planning in nondeterministic domains under partial observability via symbolic model checking (2001)

by P Bertoli, A Cimatti, M Roveri, P Traverso
Venue:In Proc. IJCAI-01