Get started
Author

Souradeep Dutta

Observed name: Dutta, Souradeep
ORCID: 0000-0003-2706-2095
Observed ORCID: 0000-0003-2706-2095
OpenAlex ID: A5051298939
Output Range Analysis for Deep Feedforward Neural Networks
2018 · Souradeep Dutta, Susmit Jha, et al. · Lecture notes in computer science · 292
Reachability analysis for neural feedback systems using regressive polynomial rule inference
2019 · Souradeep Dutta, Xin Chen, et al. · ACM International Conference on Hybrid Systems: Computation and Control (HSCC) · 156
Learning and Verification of Feedback Control Systems using Feedforward Neural Networks
2018 · Souradeep Dutta, Susmit Jha, et al. · IFAC-PapersOnLine · 74
Output Range Analysis for Deep Neural Networks
2017 · Dutta, Souradeep, Jha, Susmit, et al. · arXiv (Cornell University) · 72
PDF
Sherlock - A tool for verification of neural network feedback systems
2019 · Souradeep Dutta, Xin Chen, et al. · ACM International Conference on Hybrid Systems: Computation and Control (HSCC) · 47
Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks
2018 · Souradeep Dutta, Taisa Kushner, et al. · Lecture notes in computer science · 23
ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
2019 · Diego Manzanas Lopez, Patrick Musau, et al. · EPiC series in computing · 16
PDF
Interpretable Detection of Distribution Shifts in Learning Enabled Cyber-Physical Systems
2022 · Yahan Yang, Ramneet Kaur, et al. · ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) · 14
Trajectory Tracking Control for Robotic Vehicles Using Counterexample Guided Training of Neural Networks
2019 · Arthur Clavière, Souradeep Dutta, et al. · Proceedings of the International Conference on Automated Planning and Scheduling · 11
PDF
Periodic noise recognition and elimination using RFPCM clustering
2014 · Souradeep Dutta, Arijit Mallick, et al. · International Conference on Electronics and Communication Systems (ICECS) · 9
Formal Verification of a Multi-Basal Insulin Infusion Control Model
2018 · Xin Chen, Souradeep Dutta, et al. · EPiC series in computing · 8
Memory-based Distribution Shift Detection for Learning Enabled Cyber-Physical Systems with Statistical Guarantees
2024 · Yahan Yang, Ramneet Kaur, et al. · ACM Transactions on Cyber-Physical Systems · 7
Comparative Analysis of Cuckoo Search Optimization-Based Multilevel Image Thresholding
2014 · Sourya Roy, Utkarsh Kumar, et al. · Advances in intelligent systems and computing · 6
Cuckoo Search Optimization based design of linear phase FIR filters: A comparison approach
2014 · Arijit Mallick, Souradeep Dutta, et al. · International Conference on Green Computing Communication and Electrical Engineering · 6
Distributionally Robust Statistical Verification with Imprecise Neural Networks
2025 · Souradeep Dutta, Michele Caprio, et al. · ACM International Conference on Hybrid Systems: Computation and Control (HSCC) · 4
PDF
Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios
2025 · Vivian Lin, Ramneet Kaur, et al. · ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) · 3
PDF
Reaching Out Towards Fully Verified Autonomous Systems
2019 · Sriram Sankaranarayanan, Souradeep Dutta, et al. · Lecture notes in computer science · 3
Bridging Dimensions: Confident Reachability for High-Dimensional Controllers
2024 · Yuang Geng, Jake Brandon Baldauf, et al. · Lecture notes in computer science · 2
PDF
Incremental Learning with Memory Regressors for Motion Prediction in Autonomous Racing
2023 · Yahan Yang, Souradeep Dutta, et al. · ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) · 1
PDF
Verifying Conformance of Neural Network Models: Invited Paper
2019 · Monal Narasimhamurthy, Taisa Kushner, et al. · 1
Arbitrary Waveform Generation Using Memristive Cross Bar Array
2014 · Subhankar Bandyopadhyay, Souradeep Dutta, et al. · International Conference on Advances in Computing and Communications (ICACC) · 1
Automated acne lesion counting from subpar images via memory classifiers
2026 · Yahan Yang, Souradeep Dutta, et al. · Archives of Dermatological Research
PDF
Automated Labeling Function Generation using Distance Functions for Physiological Alarm Suppression
2023 · Sydney Pugh, Souradeep Dutta, et al. · ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)
PDF
Robust Data-Driven Control of Artificial Pancreas Systems using Neural Networks pp. 183-202 (2018).
2018 · Souradeep Dutta, Taisa Kushner, et al. · Computational Methods in Systems Biology
A novel approach on variable and constant phase to voltage converter circuit
2015 · Shubhankar Bandyopadhyay, Arijit Mallick, et al. · International Conference on Electrical, Computer and Communication Technologies (ICECCT)
Works count: 30
Citation count: 756
H-index: 9
I10-index: 9
Year
Topic
Type