activity
20172023
most citedVerisig: verifying safety properties of hybrid systems with neural network controllers

37 citations · 108 across the 19 of their papers we have counts for

collaborators

21 papers

cs.LG2023★ 1 cited

Memory-Consistent Neural Networks for Imitation Learning

Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman +2

Imitation learning considerably simplifies policy synthesis compared to alternative approaches by exploiting access to expert demonstrations. For such imitation policies, errors aw…

cs.LG2023★ 1 cited

Curating Naturally Adversarial Datasets for Learning-Enabled Medical Cyber-Physical Systems

Sydney Pugh, Ivan Ruchkin, Insup Lee +1

Deep learning models have shown promising predictive accuracy for time-series healthcare applications. However, ensuring the robustness of these models is vital for building trustw…

cs.CV2023★ 3 cited

Detection of Adversarial Physical Attacks in Time-Series Image Data

Ramneet Kaur, Yiannis Kantaros, Wenwen Si +2

Deep neural networks (DNN) have become a common sensing modality in autonomous systems as they allow for semantically perceiving the ambient environment given input images. Neverth…

cs.LG2022

Guaranteed Conformance of Neurosymbolic Models to Natural Constraints

Kaustubh Sridhar, Souradeep Dutta, James Weimer +1

Deep neural networks have emerged as the workhorse for a large section of robotics and control applications, especially as models for dynamical systems. Such data-driven models are…

cs.CR2022

Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices

Matthew Chan, Nathaniel Snyder, Marcus Lucas +7

Although organizations are continuously making concerted efforts to harden their systems against network attacks by air-gapping critical systems, attackers continuously adapt and u…

cs.LG2022★ 3 cited

Towards Alternative Techniques for Improving Adversarial Robustness: Analysis of Adversarial Training at a Spectrum of Perturbations

Kaustubh Sridhar, Souradeep Dutta, Ramneet Kaur +3

Adversarial training (AT) and its variants have spearheaded progress in improving neural network robustness to adversarial perturbations and common corruptions in the last few year…