Hadi Ravanbakhsh

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 18

Top Topics

Diabetic Patients

Controller Synthesis

Infinite Horizon

Top Venues

Allerton Conference

Publications

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