Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/01/2015 → 31/07/2015 |
Correct-by-Construction Models for Decision Making in Autonomous Systems
- Coles, Andrew (Primary Investigator)
- Magazzeni, Daniele (Co-Investigator)
Project: Research
Project: Research
| Status | Finished |
|---|---|
| Effective start/end date | 1/01/2015 → 31/07/2015 |