Goal-constrained planning domain model verification of safety properties.

Anas Shrinah, Kerstin Eder

Browse the full ECAI paper archive.