Fast Koopman Surrogate Falsification Using Linear Relaxations and Weights.

Stanley Bak, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati

Browse the full ATVA paper archive.