ESReDA: why trustworthy self-driving is difficult

Overview

Joseph Sifakis uses self-driving vehicles to discuss designing trustworthy autonomous systems in uncertain environments. The talk examines hybrid design combining model-based and data-based techniques and the relationship between performance and trustworthiness.