Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking.

Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso

Browse the full IJCAI paper archive.