Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 08/1/20 → 07/31/21 |
Funding
- US Air Force Office of Scientific Research: $46,296.99
Enhanced Testing of Autonomous Systems using Formal Methods
- Bak, Stanley (PI)
Project: Research
Project: Research
| Status | Finished |
|---|---|
| Effective start/end date | 08/1/20 → 07/31/21 |