235 citations · 356 across the 13 of their papers we have counts for
5 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…
A Formalization of Robustness for Deep Neural Networks
Tommaso Dreossi, Shromona Ghosh, Alberto Sangiovanni-Vincentelli +1
Deep neural networks have been shown to lack robustness to small input perturbations. The process of generating the perturbations that expose the lack of robustness of neural netwo…
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…
A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics
Shromona Ghosh, Somil Bansal, Alberto Sangiovanni-Vincentelli +2
We consider the problem of extracting safe environments and controllers for reach-avoid objectives for systems with known state and control spaces, but unknown dynamics. In a given…
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh +4
We present VERIFAI, a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components. VERIFAI particu…