Login / Signup
Andrew Mata
ORCID
Publication Activity (10 Years)
Years Active: 2014-2024
Publications (10 Years): 3
Top Topics
Signature Verification
Neural Network
Closed Loop
Control System
Top Venues
HSCC
CoRR
SAIV
ICCPS
</>
Publications
</>
Stanley Bak
,
Sergiy Bogomolov
,
Abdelrahman Hekal
,
Veena Krish
,
Andrew Mata
,
Amir Rahmati
Zero-One Attack: Degrading Closed-Loop Neural Network Control Systems using State-Time Perturbations.
ICCPS
(2024)
Ali ArjomandBigdeli
,
Andrew Mata
,
Stanley Bak
Verification of Neural Network Control Systems in Continuous Time.
CoRR
(2024)
Stanley Bak
,
Sergiy Bogomolov
,
Abdelrahman Hekal
,
Niklas Kochdumper
,
Ethan Lew
,
Andrew Mata
,
Amir Rahmati
Falsification using Reachability of Surrogate Koopman Models.
HSCC
(2024)
Ali ArjomandBigdeli
,
Andrew Mata
,
Stanley Bak
Verification of Neural Network Control Systems in Continuous Time.
SAIV
(2014)