37 citations · 108 across the 19 of their papers we have counts for
5 papers · 1 filter
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…
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…
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…
A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems
Kaustubh Sridhar, Radoslav Ivanov, Vuk Lesi +6
This paper tackles the problem of making complex resource-constrained cyber-physical systems (CPS) resilient to sensor anomalies. In particular, we present a framework for checkpoi…
Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates
Souradeep Dutta, Kaustubh Sridhar, Osbert Bastani +4
Long horizon robot learning tasks with sparse rewards pose a significant challenge for current reinforcement learning algorithms. A key feature enabling humans to learn challenging…