Souradeep Dutta

According to our database, Souradeep Dutta authored at least 28 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Bridging Dimensions: Confident Reachability for High-Dimensional Controllers.

Yuang Geng, Souradeep Dutta, Ivan Ruchkin

CoRR, 2023

Memory-Consistent Neural Networks for Imitation Learning.

Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, James Weimer, Insup Lee

CoRR, 2023

Distributionally Robust Statistical Verification with Imprecise Neural Networks.

Souradeep Dutta, Michele Caprio, Vivian Lin, Matthew Cleaveland, Kuk Jin Jang, Ivan Ruchkin, Oleg Sokolsky, Insup Lee

CoRR, 2023

Using Semantic Information for Defining and Detecting OOD Inputs.

Ramneet Kaur, Xiayan Ji, Souradeep Dutta, Michele Caprio, Yahan Yang, Elena Bernardis, Oleg Sokolsky, Insup Lee

CoRR, 2023

Take Me Home: Reversing Distribution Shifts using Reinforcement Learning.

Vivian Lin, Kuk Jin Jang, Souradeep Dutta, Michele Caprio, Oleg Sokolsky, Insup Lee

CoRR, 2023

Imprecise Bayesian Neural Networks.

Michele Caprio, Souradeep Dutta, Kuk Jin Jang, Vivian Lin, Radoslav Ivanov, Oleg Sokolsky, Insup Lee

CoRR, 2023

Guaranteed Conformance of Neurosymbolic Models to Natural Constraints.

Kaustubh Sridhar, Souradeep Dutta, James Weimer, Insup Lee

Proceedings of the Learning for Dynamics and Control Conference, 2023

Incremental Learning with Memory Regressors for Motion Prediction in Autonomous Racing.

Yahan Yang, Souradeep Dutta, Kuk Jin Jang, Oleg Sokolsky, Insup Lee

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Automated Labeling Function Generation using Distance Functions for Physiological Alarm Suppression.

Sydney Pugh, Souradeep Dutta, Ramneet Kaur, Yahan Yang, Elena Bernardis, Insup Lee

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Memory Classifiers for Robust ECG Classification against Physiological Noise.

Kuk Jin Jang, Souradeep Dutta, Jean Park, James Weimer, Insup Lee

Proceedings of the 45th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2023

2022

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

CoRR, 2022

Memory Classifiers: Two-stage Classification for Robustness in Machine Learning.

Souradeep Dutta, Yahan Yang, Elena Bernardis, Edgar Dobriban, Insup Lee

CoRR, 2022

Interpretable Detection of Distribution Shifts in Learning Enabled Cyber-Physical Systems.

Yahan Yang, Ramneet Kaur, Souradeep Dutta, Insup Lee

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 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

Proceedings of the Conference on Robot Learning, 2022

2019

Reaching Out Towards Fully Verified Autonomous Systems.

Sriram Sankaranarayanan, Souradeep Dutta, Sergio Mover

Proceedings of the Reachability Problems - 13th International Conference, 2019

Verifying Conformance of Neural Network Models: Invited Paper.

Monal Narasimhamurthy, Taisa Kushner, Souradeep Dutta, Sriram Sankaranarayanan

Proceedings of the International Conference on Computer-Aided Design, 2019

Reachability analysis for neural feedback systems using regressive polynomial rule inference.

Souradeep Dutta, Xin Chen, Sriram Sankaranarayanan

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Sherlock - A tool for verification of neural network feedback systems: demo abstract.

Souradeep Dutta, Xin Chen, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

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, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov, Taylor T. Johnson

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

Trajectory Tracking Control for Robotic Vehicles Using Counterexample Guided Training of Neural Networks.

Arthur Clavière, Souradeep Dutta, Sriram Sankaranarayanan

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018

Output Range Analysis for Deep Feedforward Neural Networks.

Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks.

Souradeep Dutta, Taisa Kushner, Sriram Sankaranarayanan

Proceedings of the Computational Methods in Systems Biology, 2018

Learning and Verification of Feedback Control Systems using Feedforward Neural Networks.

Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017

A Structured Methodology for Pattern based Adaptive Scheduling in Embedded Control.

Sumana Ghosh, Souradeep Dutta, Soumyajit Dey, Pallab Dasgupta

ACM Trans. Embed. Comput. Syst., 2017

Output Range Analysis for Deep Neural Networks.

Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari

CoRR, 2017

Formal Verification of a Multi-Basal Insulin Infusion Control Model.

Xin Chen, Souradeep Dutta, Sriram Sankaranarayanan

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

2016

Multirate Sampling for Power-Performance Tradeoff in Embedded Control.

Rajorshee Raha, Souradeep Dutta, Soumyajit Dey, Pallab Dasgupta

IEEE Embed. Syst. Lett., 2016

Synthesis of scheduler automata guaranteeing stability and reliability of embedded control systems.

Saurav Kumar Ghosh, Akash Mondal, Souradeep Dutta, Aritra Hazra, Soumyajit Dey

Proceedings of the 20th International Symposium on VLSI Design and Test, 2016