Autonomous systems, such as self-driving cars, are starting to pop up in the world around us. These systems use complex combinations of model-based and data-driven algorithms to make real-time, safety-critical decisions. In this talk, I will provide some thoughts (and hopefully insights) into what engineers need to do to convince ...