Search Results for author: Hadi Ravanbakhsh

Found 2 papers, 1 papers with code

Counterexample-Guided Synthesis of Perception Models and Control

no code implementations • 4 Nov 2019 • Shromona Ghosh, Yash Vardhan Pant, Hadi Ravanbakhsh, Sanjit A. Seshia

The framework uses a falsifier to find counterexamples, or traces of the systems that violate a safety property, to extract information that enables efficient modeling of the perception modules and errors in it.

Autonomous Vehicles

Paper
Add Code

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

1 code implementation • 12 Feb 2019 • Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia

We present VERIFAI, a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.

BIG-bench Machine Learning

165

Paper
Code

Cannot find the paper you are looking for? You can Submit a new open access paper.