74 citations · 122 across the 8 of their papers we have counts for
4 papers · 1 filter
Real-time Funnel Generation for Restricted Motion Planning
Hadi Ravanbakhsh, Forrest Laine, Sanjit A. Seshia
In autonomous systems, a motion planner generates reference trajectories which are tracked by a low-level controller. For safe operation, the motion planner should account for inev…
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…
Formal Policy Learning from Demonstrations for Reachability Properties
Hadi Ravanbakhsh, Sriram Sankaranarayanan, Sanjit A. Seshia
We consider the problem of learning structured, closed-loop policies (feedback laws) from demonstrations in order to control under-actuated robotic systems, so that formal behavior…
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…