Submitted by Panagiotis Tsiotras on Wed, 05/08/2024 - 14:02 CPS: Medium: Learning-Enabled Assistive Driving: Formal Assurances during Operation and Training 2219755 Contributors: Panagiotis Tsiotras Samuel Coogan Matthew Gombolay Sponsors: National Science Foundation Core Areas: