Extracting mutual exclusion invariants from lifted temporal planning domains

Sara Bernardini, Fabio Fagnani, David Smith

Research output: Contribution to journal › Article › peer-review

118 Downloads (Pure)

1 results

Filter

Finished

Autonomous Intelligent Systems
Bernardini, S.
Eng & Phys Sci Res Council EPSRC
1/09/15 → 28/02/16
Project: Research