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

Submitted by Anonymous on
  • Short Talk
  • 1846524
  • CPS PI Meeting 2021
  • NSF