Hierarchical Verification of Autonomy Architectures
Researchers
- Professor Iman Shames (Primary Investigator)
Grant status
Completed-Pending ReportsGrant start date
06/05/2021Grant funding
- 2021: $450,000 from Commonwealth Department of Defence, Defence Science and Technology Group (DSTG)
- 2022: $60,000 from Commonwealth Department of Defence, Defence Science and Technology Group (DSTG)