Counterexample-Guided Synthesis of Perception Models and Control

Document Details

Document Type
Pub Defense Publication
Publication Date
May 25, 2021
Source ID
10.23919/acc50511.2021.9482896

Entities

People

  • Hadi Ravanbakhsh
  • Sanjit A. Seshia
  • Shromona Ghosh
  • Yash Vardhan Pant

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation