Souradeep Dutta

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 35

Top Topics

Correctly Classified

Reinforcement Learning

Top Venues

Publications

Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, James Weimer, Insup Lee
Memory-Consistent Neural Networks for Imitation Learning. ICLR (2024)
Jean Park, Sydney Pugh, Kaustubh Sridhar, Mengyu Liu, Navish Yarna, Ramneet Kaur, Souradeep Dutta, Elena Bernardis, Oleg Sokolsky, Insup Lee
Automating Weak Label Generation for Data Programming with Clinicians in the Loop. CoRR (2024)
Yahan Yang, Ramneet Kaur, Souradeep Dutta, Insup Lee
Memory-based Distribution Shift Detection for Learning Enabled Cyber-Physical Systems with Statistical Guarantees. ACM Trans. Cyber Phys. Syst. 8 (2) (2024)
Vivian Lin, Kuk Jin Jang, Souradeep Dutta, Michele Caprio, Oleg Sokolsky, Insup Lee
DC4L: Distribution shift recovery via data-driven control for deep learning models. L4DC (2024)
Jean Park, Sydney Pugh, Kaustubh Sridhar, Mengyu Liu, Navish Yarna, Ramneet Kaur, Souradeep Dutta, Elena Bernardis, Oleg Sokolsky, Insup Lee
Automating Weak Label Generation for Data Programming with Clinicians in the Loop. CHASE (2024)
Kuk Jin Jang, Souradeep Dutta, Jean Park, James Weimer, Insup Lee
Memory Classifiers for Robust ECG Classification against Physiological Noise. EMBC (2023)
Kaustubh Sridhar, Souradeep Dutta, James Weimer, Insup Lee
Guaranteed Conformance of Neurosymbolic Models to Natural Constraints. L4DC (2023)
Sydney Pugh, Souradeep Dutta, Ramneet Kaur, Yahan Yang, Elena Bernardis, Insup Lee
Automated Labeling Function Generation using Distance Functions for Physiological Alarm Suppression. ICCPS (2023)
Michele Caprio, Souradeep Dutta, Kuk Jin Jang, Vivian Lin, Radoslav Ivanov, Oleg Sokolsky, Insup Lee
Imprecise Bayesian Neural Networks. CoRR (2023)
Vivian Lin, Kuk Jin Jang, Souradeep Dutta, Michele Caprio, Oleg Sokolsky, Insup Lee
Take Me Home: Reversing Distribution Shifts using Reinforcement Learning. CoRR (2023)
Ramneet Kaur, Xiayan Ji, Souradeep Dutta, Michele Caprio, Yahan Yang, Elena Bernardis, Oleg Sokolsky, Insup Lee
Using Semantic Information for Defining and Detecting OOD Inputs. CoRR (2023)
Yuang Geng, Souradeep Dutta, Ivan Ruchkin
Bridging Dimensions: Confident Reachability for High-Dimensional Controllers. CoRR (2023)
Yahan Yang, Souradeep Dutta, Kuk Jin Jang, Oleg Sokolsky, Insup Lee
Incremental Learning with Memory Regressors for Motion Prediction in Autonomous Racing. ICCPS (2023)
Souradeep Dutta, Michele Caprio, Vivian Lin, Matthew Cleaveland, Kuk Jin Jang, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
Distributionally Robust Statistical Verification with Imprecise Neural Networks. CoRR (2023)
Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, James Weimer, Insup Lee
Memory-Consistent Neural Networks for Imitation Learning. CoRR (2023)
Souradeep Dutta, Yahan Yang, Elena Bernardis, Edgar Dobriban, Insup Lee
Memory Classifiers: Two-stage Classification for Robustness in Machine Learning. CoRR (2022)
Yahan Yang, Ramneet Kaur, Souradeep Dutta, Insup Lee
Interpretable Detection of Distribution Shifts in Learning Enabled Cyber-Physical Systems. ICCPS (2022)
Kaustubh Sridhar, Souradeep Dutta, James Weimer, Insup Lee
Guaranteed Conformance of Neurosymbolic Models to Natural Constraints. CoRR (2022)
Souradeep Dutta, Kaustubh Sridhar, Osbert Bastani, Edgar Dobriban, James Weimer, Insup Lee, Julia Parish-Morris
Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates. CoRL (2022)
Souradeep Dutta, Kaustubh Sridhar, Osbert Bastani, Edgar Dobriban, James Weimer, Insup Lee, Julia Parish-Morris
Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates. CoRR (2022)
Kaustubh Sridhar, Souradeep Dutta, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee
Towards Alternative Techniques for Improving Adversarial Robustness: Analysis of Adversarial Training at a Spectrum of Perturbations. CoRR (2022)
Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov, Taylor T. Johnson
ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@CPSIoTWeek (2019)
Arthur Clavière, Souradeep Dutta, Sriram Sankaranarayanan
Trajectory Tracking Control for Robotic Vehicles Using Counterexample Guided Training of Neural Networks. ICAPS (2019)
Souradeep Dutta, Xin Chen, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
Sherlock - A tool for verification of neural network feedback systems: demo abstract. HSCC (2019)
Souradeep Dutta, Xin Chen, Sriram Sankaranarayanan
Reachability analysis for neural feedback systems using regressive polynomial rule inference. HSCC (2019)
Sriram Sankaranarayanan, Souradeep Dutta, Sergio Mover
Reaching Out Towards Fully Verified Autonomous Systems. RP (2019)
Monal Narasimhamurthy, Taisa Kushner, Souradeep Dutta, Sriram Sankaranarayanan
Verifying Conformance of Neural Network Models: Invited Paper. ICCAD (2019)
Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
Output Range Analysis for Deep Feedforward Neural Networks. NFM (2018)
Souradeep Dutta, Taisa Kushner, Sriram Sankaranarayanan
Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks. CMSB (2018)
Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
Learning and Verification of Feedback Control Systems using Feedforward Neural Networks. ADHS (2018)
Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
Output Range Analysis for Deep Neural Networks. CoRR (2017)
Xin Chen, Souradeep Dutta, Sriram Sankaranarayanan
Formal Verification of a Multi-Basal Insulin Infusion Control Model. ARCH@CPSWeek (2017)
Sumana Ghosh, Souradeep Dutta, Soumyajit Dey, Pallab Dasgupta
A Structured Methodology for Pattern based Adaptive Scheduling in Embedded Control. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Saurav Kumar Ghosh, Akash Mondal, Souradeep Dutta, Aritra Hazra, Soumyajit Dey
Synthesis of scheduler automata guaranteeing stability and reliability of embedded control systems. VDAT (2016)
Rajorshee Raha, Souradeep Dutta, Soumyajit Dey, Pallab Dasgupta
Multirate Sampling for Power-Performance Tradeoff in Embedded Control. IEEE Embed. Syst. Lett. 8 (4) (2016)