Souradeep Dutta

Reachability analysis for neural feedback systems using regressive polynomial rule inference

Souradeep Dutta, Xin Chen, Sriram Sankaranarayanan · 2019 · 154 citations

Artificial Intelligence, Reachability Analysis, Engineering +14

Output Range Analysis for Deep Neural Networks

Souradeep Dutta, Susmit Jha, Sriram Sanakaranarayanan et al. · arXiv (Cornell University) · 2017 · 75 citations · Full text

Artificial Intelligence, Geometric Learning, Convolutional Neural Network +17

Learning and Verification of Feedback Control Systems using Feedforward Neural Networks

Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan et al. · IFAC-PapersOnLine · 2018 · 73 citations · Full text

Engineering, Machine Learning, Feedforward Neural Networks +17

Sherlock - A tool for verification of neural network feedback systems

Souradeep Dutta, Xin Chen, Susmit Jha et al. · 2019 · 45 citations

Artificial Intelligence, Engineering, Machine Learning +20

ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants

Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran et al. · EPiC series in computing · 2019 · 17 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +16