Souradeep Dutta

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