Souradeep Dutta

Ivan Ruchkin

CoRR, 2023

Distributionally Robust Statistical Verification with Imprecise Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2023

Using Semantic Information for Defining and Detecting OOD Inputs.

[BibT_eX]

[DOI]

CoRR, 2023

Take Me Home: Reversing Distribution Shifts using Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2023

Imprecise Bayesian Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2023

Guaranteed Conformance of Neurosymbolic Models to Natural Constraints.

[BibT_eX]

[DOI]

Proceedings of the Learning for Dynamics and Control Conference, 2023

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Memory Classifiers for Robust ECG Classification against Physiological Noise.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

CoRR, 2022

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

[BibT_eX]

[DOI]

CoRR, 2022

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Conference on Robot Learning, 2022

2019

Reaching Out Towards Fully Verified Autonomous Systems.

[BibT_eX]

[DOI]

Sergio Mover

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

Verifying Conformance of Neural Network Models: Invited Paper.

[BibT_eX]

[DOI]

Monal Narasimhamurthy

Taisa Kushner

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

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

[BibT_eX]

[DOI]

Xin Chen

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.

[BibT_eX]

[DOI]

Xin Chen

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Arthur Clavière

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

2018

Output Range Analysis for Deep Feedforward Neural Networks.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Taisa Kushner

Proceedings of the Computational Methods in Systems Biology, 2018

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2017

Output Range Analysis for Deep Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2017

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

[BibT_eX]

[DOI]

Xin Chen