CAREER: A Data-Driven Approach for Verification and Control of Cyber-Physical Systems Submitted by Jason Gigax on Wed, 01/11/2023 - 11:47 2145184 2022 CPS PI Meeting 2022