Control and Autonomy Talk about Data-Driven Safety Verification with Amr Alanwar
In this talk, new algorithms for developing data-driven reachability analysis from input/output data with formal guarantees are presented. The proposed algorithms support the inclusion of side information in the form of temporal logic to reduce the conservativeness of reachable sets. Subsequently, the effectiveness of the algorithms is presented using an application.