Hadi Ravanbakhsh

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Reducing Time-To-Fix For Fuzzer Bugs.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Counterexample-Guided Synthesis of Perception Models and Control.
Proceedings of the 2021 American Control Conference, 2021

2019
Real-time Funnel Generation for Restricted Motion Planning.
CoRR, 2019

Counterexample-Guided Synthesis of Perception Models and Control.
CoRR, 2019

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

Learning control lyapunov functions from counterexamples and demonstrations.
Auton. Robots, 2019

Formal Policy Learning from Demonstrations for Reachability Properties.
Proceedings of the International Conference on Robotics and Automation, 2019

VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Distributed Online Convex Programming for Collision Avoidance in Multi-agent Autonomous Vehicle Systems.
Proceedings of the 2019 American Control Conference, 2019

2018
Inductive Certificate Synthesis for Control Design.
CoRR, 2018

Path-Following through Control Funnel Functions.
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.
Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017

Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations.
Proceedings of the Robotics: Science and Systems XIII, 2017

2016
Robust controller synthesis of switched systems using counterexample guided framework.
Proceedings of the 2016 International Conference on Embedded Software, 2016

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

Counterexample-guided stabilization of switched systems using control lyapunov functions.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Counter-Example Guided Synthesis of control Lyapunov functions for switched systems.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014
Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation.
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.
Proceedings of the 50th Annual Allerton Conference on Communication, 2012

2010
Affix-augmented stem-based language model for persian.
Proceedings of the 6th International Conference on Natural Language Processing and Knowledge Engineering, 2010


  Loading...