DBLP:conf/ijcai/PistoreT01 + redirect page
Planning as Model Checking for Extended Goals in Non-deterministic Domains + Has identifier
| Planning as Model Checking for Extended Goals in Non-deterministic Domains |
Has publishing details
pp. 479-486, 2001
Has title
Planning as Model Checking for Extended Goals in Non-deterministic Domains
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai2001.html#PistoreT01
Has where published
IJCAI
Has year
2001
Has author
Marco Pistore +, Paolo Traverso +
Has identifier
Planning as Model Checking for Extended Goals in Non-deterministic Domains +
Categories Proceeding Paper +
|
