CPS: Medium: GOALI: Enabling Scalable Real-Time Certification for AI-Oriented Safety-Critical Systems Submitted by Anonymous on Fri, 09/03/2021 - 12:48 Short Talk 2038855 CPS PI Meeting 2021 NSF