default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSouradeep Dutta
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j3]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): 21 (2024)- [c21]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: 25-36 - [c20]Yuang Geng, Jake Brandon Baldauf, Souradeep Dutta, Chao Huang, Ivan Ruchkin:
Bridging Dimensions: Confident Reachability for High-Dimensional Controllers. FM (1) 2024: 381-402 - [c19]Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, James Weimer, Insup Lee:
Memory-Consistent Neural Networks for Imitation Learning. ICLR 2024 - [c18]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: 1526-1538 - [i12]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 abs/2407.07982 (2024) - 2023
- [c17]Kuk Jin Jang, Souradeep Dutta, Jean Park, James Weimer, Insup Lee:
Memory Classifiers for Robust ECG Classification against Physiological Noise. EMBC 2023: 1-5 - [c16]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: 249-250 - [c15]Yahan Yang, Souradeep Dutta, Kuk Jin Jang, Oleg Sokolsky, Insup Lee:
Incremental Learning with Memory Regressors for Motion Prediction in Autonomous Racing. ICCPS 2023: 264-265 - [c14]Kaustubh Sridhar, Souradeep Dutta, James Weimer, Insup Lee:
Guaranteed Conformance of Neurosymbolic Models to Natural Constraints. L4DC 2023: 76-89 - [i11]Michele Caprio, Souradeep Dutta, Kuk Jin Jang, Vivian Lin, Radoslav Ivanov, Oleg Sokolsky, Insup Lee:
Imprecise Bayesian Neural Networks. CoRR abs/2302.09656 (2023) - [i10]Vivian Lin, Kuk Jin Jang, Souradeep Dutta, Michele Caprio, Oleg Sokolsky, Insup Lee:
Take Me Home: Reversing Distribution Shifts using Reinforcement Learning. CoRR abs/2302.10341 (2023) - [i9]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 abs/2302.11019 (2023) - [i8]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 abs/2308.14815 (2023) - [i7]Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, James Weimer, Insup Lee:
Memory-Consistent Neural Networks for Imitation Learning. CoRR abs/2310.06171 (2023) - [i6]Yuang Geng, Souradeep Dutta, Ivan Ruchkin:
Bridging Dimensions: Confident Reachability for High-Dimensional Controllers. CoRR abs/2311.04843 (2023) - 2022
- [c13]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: 1499-1509 - [c12]Yahan Yang, Ramneet Kaur, Souradeep Dutta, Insup Lee:
Interpretable Detection of Distribution Shifts in Learning Enabled Cyber-Physical Systems. ICCPS 2022: 225-235 - [i5]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 abs/2202.12967 (2022) - [i4]Souradeep Dutta, Yahan Yang, Elena Bernardis, Edgar Dobriban, Insup Lee:
Memory Classifiers: Two-stage Classification for Robustness in Machine Learning. CoRR abs/2206.05323 (2022) - [i3]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 abs/2206.06496 (2022) - [i2]Kaustubh Sridhar, Souradeep Dutta, James Weimer, Insup Lee:
Guaranteed Conformance of Neurosymbolic Models to Natural Constraints. CoRR abs/2212.01346 (2022)
2010 – 2019
- 2019
- [c11]Arthur Clavière, Souradeep Dutta, Sriram Sankaranarayanan:
Trajectory Tracking Control for Robotic Vehicles Using Counterexample Guided Training of Neural Networks. ICAPS 2019: 680-688 - [c10]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: 103-119 - [c9]Souradeep Dutta, Xin Chen, Sriram Sankaranarayanan:
Reachability analysis for neural feedback systems using regressive polynomial rule inference. HSCC 2019: 157-168 - [c8]Souradeep Dutta, Xin Chen, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari:
Sherlock - A tool for verification of neural network feedback systems: demo abstract. HSCC 2019: 262-263 - [c7]Monal Narasimhamurthy, Taisa Kushner, Souradeep Dutta, Sriram Sankaranarayanan:
Verifying Conformance of Neural Network Models: Invited Paper. ICCAD 2019: 1-8 - [c6]Sriram Sankaranarayanan, Souradeep Dutta, Sergio Mover:
Reaching Out Towards Fully Verified Autonomous Systems. RP 2019: 22-32 - 2018
- [c5]Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari:
Learning and Verification of Feedback Control Systems using Feedforward Neural Networks. ADHS 2018: 151-156 - [c4]Souradeep Dutta, Taisa Kushner, Sriram Sankaranarayanan:
Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks. CMSB 2018: 183-202 - [c3]Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari:
Output Range Analysis for Deep Feedforward Neural Networks. NFM 2018: 121-138 - 2017
- [j2]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): 189:1-189:22 (2017) - [c2]Xin Chen, Souradeep Dutta, Sriram Sankaranarayanan:
Formal Verification of a Multi-Basal Insulin Infusion Control Model. ARCH@CPSWeek 2017: 75-91 - [i1]Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari:
Output Range Analysis for Deep Neural Networks. CoRR abs/1709.09130 (2017) - 2016
- [j1]Rajorshee Raha, Souradeep Dutta, Soumyajit Dey, Pallab Dasgupta:
Multirate Sampling for Power-Performance Tradeoff in Embedded Control. IEEE Embed. Syst. Lett. 8(4): 77-80 (2016) - [c1]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: 1-6
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 20:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
