Falsification using Reachability of Surrogate Koopman Models

Stanley Bak, Sergiy Bogomolov, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati
May, 2024
PDF Venue
Type
1
Publication
In ACM International Conference on Hybrid Systems: Computation and Control (HSCC)
ML Security