Planning as Model Checking for Extended Goals in Non-deterministic Domains.

Marco Pistore, Paolo Traverso

Browse the full IJCAI paper archive.