Safety-Critical Autonomous Systems: What Is Possible? What Is Required?
youtube.com