Submitted by James Anderson on Wed, 05/08/2024 - 12:45 CPS: Medium: GOALI: Enabling Scalable Real-Time Certification for AI-Oriented Safety-Critical Systems 2038855 Contributors: James Anderson Sriprakash Sarathy Ron Alterovitz Frank Smith Sponsors: National Science Foundation Core Areas: