Hadi Ravanbakhsh

According to our database, Hadi Ravanbakhsh authored at least 20 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Reducing Time-To-Fix For Fuzzer Bugs.

Rui Abreu, Franjo Ivancic, Filip Niksic, Hadi Ravanbakhsh, Ramesh Viswanathan

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Counterexample-Guided Synthesis of Perception Models and Control.

Shromona Ghosh, Yash Vardhan Pant, Hadi Ravanbakhsh, Sanjit A. Seshia

Proceedings of the 2021 American Control Conference, 2021

2019

Real-time Funnel Generation for Restricted Motion Planning.

Hadi Ravanbakhsh, Forrest Laine, Sanjit A. Seshia

CoRR, 2019

Counterexample-Guided Synthesis of Perception Models and Control.

Shromona Ghosh, Hadi Ravanbakhsh, Sanjit A. Seshia

CoRR, 2019

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

Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia

CoRR, 2019

Learning control lyapunov functions from counterexamples and demonstrations.

Hadi Ravanbakhsh, Sriram Sankaranarayanan

Auton. Robots, 2019

Formal Policy Learning from Demonstrations for Reachability Properties.

Hadi Ravanbakhsh, Sriram Sankaranarayanan, Sanjit A. Seshia

Proceedings of the International Conference on Robotics and Automation, 2019

VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems.

Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Distributed Online Convex Programming for Collision Avoidance in Multi-agent Autonomous Vehicle Systems.

Guohui Ding, Hadi Ravanbakhsh, Zhiyuan Liu, Sriram Sankaranarayanan, Lijun Chen

Proceedings of the 2019 American Control Conference, 2019

2018

Inductive Certificate Synthesis for Control Design.

Hadi Ravanbakhsh

CoRR, 2018

Path-Following through Control Funnel Functions.

Hadi Ravanbakhsh, Sina Aghli, Christoffer Heckman, Sriram Sankaranarayanan

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

2017

A Class of Control Certificates to Ensure Reach-While-Stay for Switched Systems.

Hadi Ravanbakhsh, Sriram Sankaranarayanan

Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017

Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations.

Hadi Ravanbakhsh, Sriram Sankaranarayanan

Proceedings of the Robotics: Science and Systems XIII, 2017

2016

Robust controller synthesis of switched systems using counterexample guided framework.

Hadi Ravanbakhsh, Sriram Sankaranarayanan

Proceedings of the 2016 International Conference on Embedded Software, 2016

2015

Counterexample Guided Synthesis of Switched Controllers for Reach-While-Stay Properties.

Hadi Ravanbakhsh, Sriram Sankaranarayanan

CoRR, 2015

Counterexample-guided stabilization of switched systems using control lyapunov functions.

Hadi Ravanbakhsh, Sriram Sankaranarayanan

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Counter-Example Guided Synthesis of control Lyapunov functions for switched systems.

Hadi Ravanbakhsh, Sriram Sankaranarayanan

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014

Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation.

Hadi Ravanbakhsh, Sriram Sankaranarayanan

Proceedings of the 2014 International Conference on Embedded Software, 2014

2012

A model-based approach to synthesizing insulin infusion pump usage parameters for diabetic patients.

Sriram Sankaranarayanan, Christopher Miller, Rangarajan Raghunathan, Hadi Ravanbakhsh, Georgios Fainekos

Proceedings of the 50th Annual Allerton Conference on Communication, 2012

2010

Affix-augmented stem-based language model for persian.

Heshaam Faili, Hadi Ravanbakhsh

Proceedings of the 6th International Conference on Natural Language Processing and Knowledge Engineering, 2010