Permissive planning: Extending classical planning to uncertain task domains.
scientific article; zbMATH DE number 1956698
scientific article