Formal Methods for V&V and T&E of Autonomous Systems

From MurrayWiki
Revision as of 04:24, 10 June 2019 by Murray (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Project description (typically about a paragraph)

Current participants:

Additional participants:

Collaborators:

Past participants:

Objectives

Description of the main objectives of the project

References

None to date


  • Agency: AFOSR
  • Grant number:
  • Start date: 1 July 2019
  • End date: 30 Jun 2022
  • Support: 1.5 postdocs, 2 graduate students
  • Reporting: Annual program review + report