CAREER: Decision Procedures for High-Assurance AI-Controlled CPS Submitted by Anne Dyson on Thu, 01/19/2023 - 15:49 2002405 2023 CPS PI Meeting 2023