DBLP:conf/ijcai/BertoliCRT01 + redirect page
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking + Has identifier
| Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking |
Has publishing details
pp. 473-478, 2001
Has title
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai2001.html#BertoliCRT01
Has where published
IJCAI
Has year
2001
Has author
Piergiorgio Bertoli +, Alessandro Cimatti +, Marco Roveri +, Paolo Traverso +
Has identifier
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking +
Categories Proceeding Paper +
|
