High-Assurance Design of Learning-Enabled Cyber-Physical Systems with Deep Contracts

  • Short Talk
  • 1846524
  • Verification and IoT
  • CPS PI Meeting 2021
  • NSF
  • Presentation
Submitted by Pierluigi Nuzzo on