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 Lifted Mutual Exclusion Invariants from Temporal Planning Domains
Research output: Contribution to journal › Article
ID: 27114840