235 citations · 356 across the 13 of their papers we have counts for
7 papers · 1 filter
Counterexample-Guided Synthesis of Perception Models and Control
Shromona Ghosh, Yash Vardhan Pant, Hadi Ravanbakhsh +1
Recent advances in learning-based perception systems have led to drastic improvements in the performance of robotic systems like autonomous vehicles and surgical robots. These perc…
Reachability-Based Safety Guarantees using Efficient Initializations
Sylvia L. Herbert, Shromona Ghosh, Somil Bansal +1
Hamilton-Jacobi-Isaacs (HJI) reachability analysis is a powerful tool for analyzing the safety of autonomous systems. This analysis is computationally intensive and typically perfo…
Context-Specific Validation of Data-Driven Models
Somil Bansal, Shromona Ghosh, Alberto Sangiovanni-Vincentelli +2
With an increasing use of data-driven models to control robotic systems, it has become important to develop a methodology for validating such models before they can be deployed to…
Verifying Controllers Against Adversarial Examples with Bayesian Optimization
Shromona Ghosh, Felix Berkenkamp, Gireeja Ranade +2
Recent successes in reinforcement learning have lead to the development of complex controllers for real-world robots. As these robots are deployed in safety-critical applications a…
Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications
Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman +2
We address the problem of synthesizing reactive controllers for cyber-physical systems subject to Signal Temporal Logic (STL) specifications in the presence of adversarial inputs.…
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications
Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo +5
We address the problem of diagnosing and repairing specifications for hybrid systems formalized in signal temporal logic (STL). Our focus is on the setting of automatic synthesis o…
Robust Online Monitoring of Signal Temporal Logic
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh +3
Signal Temporal Logic (STL) is a formalism used to rigorously specify requirements of cyberphysical systems (CPS), i.e., systems mixing digital or discrete components in interactio…