CAREER: Robustness Guided Testing and Verification for Cyber-Physical Systems

Submitted by Georgios Fainekos on
  • Arizona State University
  • 1350420
  • CPS-PI Meeting 2017