Sara Bernardini, Fabio Fagnani and David Smith
Extracting Mutual Exclusion Invariants from Lifted Temporal Planning Domains
Categories
ICAPSInternational Conference on Automated Planning and Scheduling
ICAPSSara Bernardini, Fabio Fagnani and David Smith
Extracting Mutual Exclusion Invariants from Lifted Temporal Planning Domains