Fast Koopman Surrogate Falsification Using Linear Relaxations and Weights. - Stanley Bak; Abdelrahman Hekal; Niklas Kochdumper; Ethan Lew; Andrew Mata; Amir Rahmati (ATVA (2), 2024)

Falsification using Reachability of Surrogate Koopman Models. - Stanley Bak; Sergiy Bogomolov; Abdelrahman Hekal; Niklas Kochdumper; Ethan Lew; Andrew Mata; Amir Rahmati (HSCC, 2024)

Zero-One Attack: Degrading Closed-Loop Neural Network Control Systems using State-Time Perturbations. - Stanley Bak; Sergiy Bogomolov; Abdelrahman Hekal; Veena Krish; Andrew Mata; Amir Rahmati (ICCPS, 2024)

Verification of Neural Network Control Systems in Continuous Time. - Ali ArjomandBigdeli; Andrew Mata; Stanley Bak (SAIV, 2024)

Provable observation noise robustness for neural network control systems. - Veena Krish; Andrew Mata; Stanley Bak; Kerianne Hobbs; Amir Rahmati (Res. Dir. Cyber Phys. Syst., 2024)

Symbolic Gaussian Smoothing. - Andrew Mata; Ali ArjomandBigdeli; Stanley Bak (ICCPS, 2025)