Difference between revisions of "Formal Methods for V&V and T&E of Autonomous Systems"

From MurrayWiki
Jump to: navigation, search
(Created page with "{{subst:project boilerplate}} {{Project |Title=Formal Methods for V&V and T&E of Autonomous Systems |Agency=AFOSR |Start date=1 July 2019 |End date=30 Jun 2022 |Support summar...")
(No difference)

Revision as of 04:24, 10 June 2019

Project description (typically about a paragraph)

Current participants:

  • Apurva Badithela (PhD student, CDS)

Additional participants:


Past participants:


Description of the main objectives of the project


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