Self-Driving Car


Visible to the public Provably Safe Automotive Cyber-Physical Systems with Humans-in-the-Loop


This project focuses on the formal design of semi-autonomous automotive Cyber Physical Systems (CPS). Rather than disconnecting the driver from the vehicle, the goal is to obtain a vehicle where the degree of autonomy is continuously changed in real-time as a function of certified uncertainty ranges in driver behavior and environment reconstruction.