Runtime Assurance for Autonomous Driving with Neural Reachability. - Sergiy Bogomolov; Abdelrahman Hekal; Bardh Hoxha; Tomoya Yamaguchi 001 (ITSC, 2022)

AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization. - Ethan Lew; Abdelrahman Hekal; Kostiantyn Potomkin; Niklas Kochdumper; Brandon Hencey; Stanley Bak; Sergiy Bogomolov (ATVA, 2023)

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)