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

  • Poster
  • 1846524
  • Verification and IoT
  • CPS PI Meeting 2021
  • NSF
  • Poster
Submitted by Pierluigi Nuzzo on