Extracting mutual exclusion invariants from lifted temporal planning domains

Sara Bernardini, Fabio Fagnani, David Smith

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

135 Downloads (Pure)

1 results

Finished

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