Andrew Mata

According to our database, Andrew Mata authored at least 6 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Symbolic Gaussian Smoothing.

Andrew Mata, Ali ArjomandBigdeli, Stanley Bak

Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems, 2025

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

Verification of Neural Network Control Systems in Continuous Time.

Ali ArjomandBigdeli, Andrew Mata, Stanley Bak

Proceedings of the AI Verification - First International Symposium, 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

Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

Falsification using Reachability of Surrogate Koopman Models.

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

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

Fast Koopman Surrogate Falsification Using Linear Relaxations and Weights.

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

Proceedings of the Automated Technology for Verification and Analysis, 2024