Verification and runtime assurance for dynamical systems with uncertainty

Document Details

Document Type
Pub Defense Publication
Publication Date
May 19, 2021
Source ID
10.1145/3447928.3456656

Entities

People

  • Mark Mote
  • Matthew Abate
  • Samuel Coogan
  • Éric Féron

Organizations

  • Air Force Office of Scientific Research
  • Georgia Tech
  • King Abdullah University of Science and Technology
  • National Science Foundation