Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso. Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. In Bernhard Nebel, editor, Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001. pages 473-478, Morgan Kaufmann, 2001.

This author has not been identified. Look up 'Piergiorgio Bertoli' in GoogleThis author has not been identified. Look up 'Alessandro Cimatti' in GoogleIdentified as Marco Roveri This author has not been identified. Look up 'Paolo Traverso' in Google

runs on WebDSL