CPS: Medium: GOALI: Enabling Scalable Real-Time Certification for AI-Oriented Safety-Critical Systems Submitted by Anne Dyson on Thu, 01/19/2023 - 12:40 2038855 2022 CPS PI Meeting 2022