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

by P Bertoli, A Cimatti, M Roveri, P Traverso
Venue:In 17th International Joint Conference on Artificial Intelligence (IJCAI