Submitted by Pierluigi Nuzzo on Fri, 05/10/2024 - 10:00 CAREER: High-Assurance Design of Learning-Enabled Cyber-Physical Systems with Deep Contracts 1846524 Contributors: Pierluigi Nuzzo Sponsors: National Science Foundation Core Areas: