Login / Signup
Ali ArjomandBigdeli
Publication Activity (10 Years)
Years Active: 2014-2024
Publications (10 Years): 1
Top Topics
Control System
Functional Verification
Multilayer Perceptron
Hidden Layer
Top Venues
CoRR
SAIV
</>
Publications
</>
Ali ArjomandBigdeli
,
Andrew Mata
,
Stanley Bak
Verification of Neural Network Control Systems in Continuous Time.
CoRR
(2024)
Ali ArjomandBigdeli
,
Andrew Mata
,
Stanley Bak
Verification of Neural Network Control Systems in Continuous Time.
SAIV
(2014)