Hadi Ravanbakhsh

25 papers A* 2A 1C 2Misc 2Journal 11Unranked 7
YearRankTypeTitle / Venue / Authors
2021 C conf
Counterexample-Guided Synthesis of Perception Models and Control.
ACC
Shromona Ghosh, Yash Vardhan Pant, Hadi Ravanbakhsh, Sanjit A. Seshia
2021 A* conf
Reducing Time-To-Fix For Fuzzer Bugs.
ASE
Rui Abreu, Franjo Ivancic, Filip Niksic, Hadi Ravanbakhsh, Ramesh Viswanathan
2019 J jnl
Counterexample-Guided Synthesis of Perception Models and Control.
CoRR
Shromona Ghosh, Hadi Ravanbakhsh, Sanjit A. Seshia
2019 C conf
Distributed Online Convex Programming for Collision Avoidance in Multi-agent Autonomous Vehicle Systems.
ACC
Guohui Ding, Hadi Ravanbakhsh, Zhiyuan Liu, Sriram Sankaranarayanan, Lijun Chen
2019 A* conf
Formal Policy Learning from Demonstrations for Reachability Properties.
ICRA
Hadi Ravanbakhsh, Sriram Sankaranarayanan, Sanjit A. Seshia
2019 J jnl
Formal Policy Learning from Demonstrations for Reachability Properties.
CoRR
Hadi Ravanbakhsh, Sriram Sankaranarayanan, Sanjit A. Seshia
2019 J jnl
Learning control lyapunov functions from counterexamples and demonstrations.
Auton. Robots
Hadi Ravanbakhsh, Sriram Sankaranarayanan
2019 J jnl
Real-time Funnel Generation for Restricted Motion Planning.
CoRR
Hadi Ravanbakhsh, Forrest Laine, Sanjit A. Seshia
2019 J jnl
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems.
CoRR
Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
2019 — conf
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems.
CAV (1)
Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
2018 J jnl
Inductive Certificate Synthesis for Control Design.
CoRR
Hadi Ravanbakhsh
2018 J jnl
Learning Control Lyapunov Functions from Counterexamples and Demonstrations.
CoRR
Hadi Ravanbakhsh, Sriram Sankaranarayanan
2018 A conf
Path-Following through Control Funnel Functions.
IROS
Hadi Ravanbakhsh, Sina Aghli, Christoffer Heckman, Sriram Sankaranarayanan
2018 J jnl
Path-Following through Control Funnel Functions.
CoRR
Hadi Ravanbakhsh, Sina Aghli, Christoffer Heckman, Sriram Sankaranarayanan
2017 — conf
A Class of Control Certificates to Ensure Reach-While-Stay for Switched Systems.
SYNT@CAV
Hadi Ravanbakhsh, Sriram Sankaranarayanan
2017 — conf
Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations.
Robotics: Science and Systems
Hadi Ravanbakhsh, Sriram Sankaranarayanan
2017 J jnl
Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations.
CoRR
Hadi Ravanbakhsh, Sriram Sankaranarayanan
2016 Misc conf
Robust controller synthesis of switched systems using counterexample guided framework.
EMSOFT
Hadi Ravanbakhsh, Sriram Sankaranarayanan
2015 J jnl
Counter-Example Guided Synthesis of Control Lyapunov Functions for Switched Systems.
CoRR
Hadi Ravanbakhsh, Sriram Sankaranarayanan
2015 — conf
Counter-Example Guided Synthesis of control Lyapunov functions for switched systems.
CDC
Hadi Ravanbakhsh, Sriram Sankaranarayanan
2015 J jnl
Counterexample Guided Synthesis of Switched Controllers for Reach-While-Stay Properties.
CoRR
Hadi Ravanbakhsh, Sriram Sankaranarayanan
2015 — conf
Counterexample-guided stabilization of switched systems using control lyapunov functions.
HSCC
Hadi Ravanbakhsh, Sriram Sankaranarayanan
2014 Misc conf
Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation.
EMSOFT
Hadi Ravanbakhsh, Sriram Sankaranarayanan
2012 — conf
A model-based approach to synthesizing insulin infusion pump usage parameters for diabetic patients.
Allerton Conference
Sriram Sankaranarayanan, Christopher Miller, Rangarajan Raghunathan, Hadi Ravanbakhsh, Georgios Fainekos
2010 — conf
Affix-augmented stem-based language model for persian.
NLPKE
Heshaam Faili, Hadi Ravanbakhsh