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
Conference paper
Publication
In ACM International Conference on Hybrid Systems: Computation and Control (HSCC)
ML Security