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

by P Bertoli, A Cimatti, M Roveri, P Traverso
Venue:In Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI