CAREER: Decision Procedures for High-Assurance, AI-Controlled, Cyber-Physical Systems

  • Poster
  • 2002405
  • Verification and IoT
  • CPS PI Meeting 2021
  • NSF
  • Poster
Submitted by Yasser Shoukry on