Submitted by Samarjit Chakraborty on Thu, 05/16/2024 - 14:04 CPS: Medium: GOALI: Design Automation for Automotive Cyber-Physical Systems 2038960 Contributors: Samarjit Chakraborty James Anderson Parasara Sridhar Duggirala Khaja Shazzad Clara Hobbs Shengjie Xu Bineet Ghosh Sponsors: National Science Foundation Core Areas: