Publications
"Bridging Dimensions : Confident Reachability for High Dimensional Controllers", Yuang Geng, Souradeep Dutta, Ivan Ruchkin. 2023
"Memory Consistent Neural Networks for Imitation Learning", Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, James Weimer, Insup Lee. Accepted for publication at ICLR 2024 Openreview .
"Distributional Robust Statistical Verification with Imprecise Neural Networks", Souradeep Dutta, Michele Caprio, Vivian Lin, Matthew Cleaveland, Kuk Jin Jang, Ivan Ruchkin, Oleg Sokolsky, Insup Lee. Under Submission at L4DC 2024
"Guaranteed Conformance of Neurosymbolic Models to Natural Constraints", Kaustubh Sridhar, Souradeep Dutta, James Weimer, Insup Lee. Learning for Dynamics and Control 2023 (L4DC)
"Incremental Learning with Memory Regressors for Motion Prediction in Autonomous Racing ". Yahan Yang, Souradeep Dutta, Kuk Jin Jang, Oleg Sokolsky, Insup Lee. International Conference in Cyber-Physical Systems 2023 (ICCPS)
"Automatic Labeling Function Generation using Distance Functions for Physiological Alarm Suppression ". Sydney Pugh, Souradeep Dutta, Ramneet Kaur, Yahan Yang, Elena Bernardis, Insup Lee. International Conference in Cyber-Physical Systems 2023 (ICCPS)
(Under-Submission)"Take Me Home, Semantic Preserving Roads: Reversing Distribution Shifts for Trained Models using Reinforcement Learning", Vivian Lin, Kuk Jang, Souradeep Dutta, Michele Caprio, Oleg Sokolsky, Insup Lee, 2022. Draft available upon request.
"Memory-based Distribution Shift Detection for Learning Enabled Cyber-Physical Systems with Statistical Guarantees", Yahan Yang, Ramneet Kaur, Souradeep Dutta, Insup Lee, 2022. Accepted for publication in the ACM Transactions of Cyber-Physical Systems.
"Memory Classifiers for Robust ECG Classification", Kuk Jin Jang, Souradeep Dutta, James Weimer, Insup Lee. IEEE Engineering in Medicine and Biology Society , 2023 (EMBC)
(Under-submission)"Current Anomaly Detectors are Anomalous: On Semantic Treatment of OOD Inputs", Ramneet Kaur, Xiayan Ji, Souradeep Dutta, Yahan Yang, Michele Caprio, Elena Bernardis, Oleg Sokolsky, Insup Lee, 2022. Draft available upon request.
(Under Submission) "Imprecise Bayesian Neural Networks", Michele Caprio, Souradeep Dutta , Kuk Jin Jang, Radoslav Ivanov, Vivian Lin, Oleg Sokolsky, Insup Lee, 2022. Draft available upon request.
(Under Submission)"Memory Classifiers : Two-Stage Classification for Robustness in Machine Learning", Souradeep Dutta}, Yahan Yang, Elena Bernardis, Edgar Dobriban, Insup Lee, 2022
(Under submission) "Towards Alternative Techniques for Improving Adversarial Robustness: Analysis of Adversarial Training at a Spectrum of Perturbations", Kaustubh Sridhar, Souradeep Dutta, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee, 2022.
"Interpretable Detection of Distribution Shifts in Learning Enabled Cyber-Physical Systems", Yahan Yang, Ramneet Kaur, Souradeep Dutta, Insup Lee. International Conference on Cyber-Physical Systems, (ICCPS) 2022.
"Exploring with Sticky-Mittens : Reinforcement Learning with Expert Interventions via Option-Templates", Souradeep Dutta, Kaustubh Sridhar, Osbert Bastani, Edgar Dobriban, James Weimer, Insup Lee, Julia Parish-Morris. Conference on Robot Learning, (CoRL) 2022.
"Verifying Conformance of Neural Network models", Monal Narasimhamurthy, Taisa Kushner, Souradeep Dutta, Sriram Sankaranarayanan, ICCAD 2019.
"Reaching out towards Fully Verified Autonomous Systems", Sriram Sankaranarayanan, Souradeep Dutta, Sergio Mover. International Conference on Reachability Problems, (RP), 2019.
"Trajectory Tracking Control for Robotic Vehicles using Counterexample Guided Training of Neural Networks", Arthur Claviere, Souradeep Dutta, Sriram Sankaranarayanan. Accepted at International Conference on Automated Planning and Scheduling , (ICAPS) 2019
"Sherlock : A Tool for Verification of Deep Neural Networks" - Souradeep Dutta, Taisa Kushner, Susmit Jha, Sriram Sankaranarayanan, Natarajan Shankar, Ashish Tiwari. Accepted at AAAI Spring Symposium 2019 - Verification of Neural Networks.
"Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks " - Souradeep Dutta, Taisa Kushner, Sriram Sankaranarayanan. Computational Methods in Systems Biology (CMSB) 2018
"Learning and Verification of Feedback Control Systems using Feedforward Neural Networks" - Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari. Analysis and Design of Hybrid Systems (ADHS) 2018.
"Output Range Analysis for Deep Neural Networks", Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari. NASA Formal Methods Symposium (NFM) 2018.
" Formal Verification of Multi-Basal Insulin Infusion Control Model " Xin Chen, Souradeep Dutta, Sriram Sankaranarayanan. Published at the ARCH 2017 , CPS Week 2017, USA .
"A Structured Methodology for Pattern Based Adaptive Scheduling in Embedded Control ", Sumana Ghosh, Souradeep Dutta, Soumyajit Dey, Pallab Dasgupta. EMSOFT 2017 .
" Multi-Rate Sampling for Power Performance Trade off in Embedded Control " Rajorshee Raha,Souradeep Dutta,Soumyajit Dey,Pallab Dasgupta. Accepted for publication in IEEE Embedded Systems Letters.
"Synthesis of Scheduler Automata Guaranteeing Stability and Reliability of Embedded Control Systems". Saurav Kumar Ghosh, Akash Mondal, Souradeep Dutta, Aritra Hazra, Soumyajit Dey. Published at the 20th International Symposium on VLSI Design and Test, VDAT-2016.
Publications from my undergrad years :
"A novel approach in filter designing using dual feedback operational amplifier" . IEEE sponsored, International Conference of Electronics and Communication Systems(ICECS 2014), Coimbatore, India. IEEE Xplore Link
"Periodic noise recognition and elimination using RFPCM clustering". IEEE sponsored, International Conference of Electronics and Communication Systems(ICECS 2014), Coimbatore, India.