Autonomous Intelligent Systems
Project: Research
- Bernardini, Sara (PI)
| Status | Finished |
|---|---|
| Effective start/end date | 1/09/15 → 28/02/16 |
Funding
Eng & Phys Sci Res Council EPSRC: £8,534
Research outputs
Extracting mutual exclusion invariants from lifted temporal planning domains
Research output: Contribution to journal › Article › peer-review
ID: 27114840