1

Falsification using Reachability of Surrogate Koopman Models
Falsification using Reachability of Surrogate Koopman Models
Provable Observation Noise Robustness for Neural Network Control Systems
Synthesizing Pareto-Optimal Signal-Injection Attacks on ICDs
On the Feasibility of Compressing Certifiably Robust Neural Networks