Shromona Ghosh | DeepAI

DeepAI AI Chat

Featured Co-authors

Kurt Keutzer
112 publications
Sanjit A. Seshia
65 publications
Claire J. Tomlin
43 publications
Ashish Kapoor
39 publications
Edward Kim
37 publications
Alberto Sangiovanni-Vincentelli
34 publications
Xiangyu Yue
34 publications
Jaime F. Fisac
24 publications
Ashish Tiwari
23 publications
Jyotirmoy V. Deshmukh
18 publications
Felix Berkenkamp
18 publications

∙ 07/06/2023

3D Environment Modeling for Falsification and Beyond with Scenic 3.0

We present a major new version of Scenic, a probabilistic programming la...

0 Eric Vin, et al. ∙

∙ 10/13/2020

Scenic: A Language for Scenario Specification and Data Generation

We propose a new probabilistic programming language for the design and a...

0 Daniel J. Fremont, et al. ∙

∙ 11/04/2019

Counterexample-Guided Synthesis of Perception Models and Control

We consider the problem of synthesizing safe and robust controllers for ...

0 Shromona Ghosh, et al. ∙

∙ 03/24/2019

A Formalization of Robustness for Deep Neural Networks

Deep neural networks have been shown to lack robustness to small input p...

0 Tommaso Dreossi, et al. ∙

∙ 02/27/2019

A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics

We consider the problem of extracting safe environments and controllers ...

0 Shromona Ghosh, et al. ∙

∙ 02/12/2019

VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems

We present VERIFAI, a software toolkit for the formal design and analysi...

0 Tommaso Dreossi, et al. ∙

∙ 09/25/2018

Scenic: Language-Based Scene Generation

Synthetic data has proved increasingly useful in both training and testi...

6 Daniel J. Fremont, et al. ∙

∙ 09/03/2018

A Minimum Discounted Reward Hamilton-Jacobi Formulation for Computing Reachable Sets

We propose a novel formulation for approximating reachable sets through ...

0 Anayo K. Akametalu, et al. ∙

∙ 08/23/2018

SOTER: Programming Safe Robotics System using Runtime Assurance

Autonomous robots increasingly depend on third-party off-the-shelf compo...

0 Ankush Desai, et al. ∙

∙ 05/17/2018

Counterexample-Guided Data Augmentation

We present a novel framework for augmenting data sets for machine learni...

0 Tommaso Dreossi, et al. ∙

∙ 02/24/2018

Time Series Learning using Monotonic Logical Properties

We propose a new paradigm for time-series learning where users implicitl...

0 Marcell Vazquez-Chanlatte, et al. ∙

∙ 02/23/2018

Verifying Controllers Against Adversarial Examples with Bayesian Optimization

Recent successes in reinforcement learning have lead to the development ...

0 Shromona Ghosh, et al. ∙

∙ 02/14/2018

Context-Specific Validation of Data-Driven Models

With an increasing use of data-driven models to control robotic systems,...

0 Somil Bansal, et al. ∙

∙ 08/10/2017

Systematic Testing of Convolutional Neural Networks for Autonomous Driving

We present a framework to systematically analyze convolutional neural ne...

0 Tommaso Dreossi, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world