Fast Koopman Surrogate Falsification using Linear Relaxations and Weights

Stanley Bak, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati
August, 2024
PDF Venue
Type
1
Publication
In International Symposium on Automated Technology for Verification and Analysis (ATVA)
ML Security