Acm3 months agoDigital lifeGuaranteeing the Safety of Autonomous VehiclesComputer scientists develop method for end-to-end safety of autonomous vehicles Strategy focuses on quantifying 'known unknowns' using a perception contract [ more ]