Submitted by Tichakorn Wongpiromsarn on Mon, 05/13/2024 - 17:02 CAREER: Establishing Correctness of Learning-Enabled Autonomous Systems with Conflicting Requirements 2141153 Contributors: Tichakorn Wongpiromsarn Sponsors: National Science Foundation Core Areas: