Follow
Souradeep Dutta
Title
Cited by
Cited by
Year
Output range analysis for deep feedforward neural networks
S Dutta, S Jha, S Sankaranarayanan, A Tiwari
NASA Formal Methods Symposium, 121-138, 2018
475*2018
Reachability analysis for neural feedback systems using regressive polynomial rule inference
S Dutta, X Chen, S Sankaranarayanan
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
1712019
Learning and verification of feedback control systems using feedforward neural networks
S Dutta, S Jha, S Sankaranarayanan, A Tiwari
IFAC-PapersOnLine 51 (16), 151-156, 2018
812018
Sherlock-a tool for verification of neural network feedback systems: demo abstract
S Dutta, X Chen, S Jha, S Sankaranarayanan, A Tiwari
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
582019
Robust data-driven control of artificial pancreas systems using neural networks
S Dutta, T Kushner, S Sankaranarayanan
Computational Methods in Systems Biology: 16th International Conference …, 2018
242018
ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
DM Lopez, P Musau, HD Tran, S Dutta, TJ Carpenter, R Ivanov, ...
ARCH@ CPSIoTWeek, 103-119, 2019
222019
Holocene sea level change of West Bengal Coast
S Dey, S Dutta, SB Adak
Indian Geogr J 77 (1), 7-20, 2002
202002
Interpretable detection of distribution shifts in learning enabled cyber-physical systems
Y Yang, R Kaur, S Dutta, I Lee
2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS …, 2022
172022
Trajectory tracking control for robotic vehicles using counterexample guided training of neural networks
A Claviere, S Dutta, S Sankaranarayanan
Proceedings of the International Conference on Automated Planning and …, 2019
162019
A structured methodology for pattern based adaptive scheduling in embedded control
S Ghosh, S Dutta, S Dey, P Dasgupta
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-22, 2017
142017
Formal Verification of a Multi-Basal Insulin Infusion Control Model.
X Chen, S Dutta, S Sankaranarayanan
Arch@ cpsweek, 75-91, 2017
132017
Verifying conformance of neural network models
M Narasimhamurthy, T Kushner, S Dutta, S Sankaranarayanan
2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2019
92019
Vitamin E (alpha tocopherol) in the management of menorrhagia associated with the use of intrauterine contraceptive devices (IUCD)
PR Dasgupta, S Dutta, P Banerjee, S Majumdar
International journal of fertility 28 (1), 55-56, 1983
91983
Imprecise Bayesian neural networks
M Caprio, S Dutta, KJ Jang, V Lin, R Ivanov, O Sokolsky, I Lee
arXiv preprint arXiv:2302.09656, 2023
82023
Memory classifiers: Two-stage classification for robustness in machine learning
S Dutta, Y Yang, E Bernardis, E Dobriban, I Lee
arXiv preprint arXiv:2206.05323, 2022
62022
Using semantic information for defining and detecting ood inputs
R Kaur, X Ji, S Dutta, M Caprio, Y Yang, E Bernardis, O Sokolsky, I Lee
arXiv preprint arXiv:2302.11019, 2023
52023
Towards alternative techniques for improving adversarial robustness: Analysis of adversarial training at a spectrum of perturbations
K Sridhar, S Dutta, R Kaur, J Weimer, O Sokolsky, I Lee
arXiv preprint arXiv:2206.06496, 2022
52022
Reaching Out Towards Fully Verified Autonomous Systems
S Sankaranarayanan, S Dutta, S Mover
Reachability Problems: 13th International Conference, RP 2019, Brussels …, 2019
42019
Multirate sampling for power-performance tradeoff in embedded control
R Raha, S Dutta, S Dey, P Dasgupta
IEEE Embedded Systems Letters 8 (4), 77-80, 2016
42016
Distributionally robust statistical verification with imprecise neural networks
S Dutta, M Caprio, V Lin, M Cleaveland, KJ Jang, I Ruchkin, O Sokolsky, ...
arXiv preprint arXiv:2308.14815, 2023
32023
The system can't perform the operation now. Try again later.
Articles 1–20