CPS: Medium: GOALI: Enabling Scalable Real-Time Certification for AI-Oriented Safety-Critical Systems
Contributor(s):
James Anderson
Don Smith
Ron Alterovitz
Prakash Sarathy
Tanya Amert
Angelos Angelopoulos
Joshua Bakita
Sandeep Kumar
Zelin Tong
Sergey Voronov
Sponsor(s):
National Science Foundation