TrAC Seminar Series – Sayan Mitra
Title: Data-driven Verification for Safe Autonomy: Reachability, Entropy, and Perception Contracts Abstract Todays verification technologies for autonomous and cyber-physical systems require detailed models which is one of the barriers that keep them from being widely used. In this talk, I will first present the basic idea of data-driven reachability analysis for systems with both black and white-box […]