CAREER: Establishing Correctness of Learning-Enabled Autonomous Systems with Conflicting RequirementsNational Science Foundation Submitted by Jason Gigax on Tue, 01/10/2023 - 11:40 2141153 2022 CPS PI Meeting 2022