Affix-augmented stem-based language model for persian. - Heshaam Faili; Hadi Ravanbakhsh (NLPKE, 2010)

A model-based approach to synthesizing insulin infusion pump usage parameters for diabetic patients. - Sriram Sankaranarayanan 001; Christopher Miller; Rangarajan Raghunathan; Hadi Ravanbakhsh; Georgios Fainekos (Allerton Conference, 2012)

Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation. - Hadi Ravanbakhsh; Sriram Sankaranarayanan 001 (EMSOFT, 2014)

Counter-Example Guided Synthesis of control Lyapunov functions for switched systems. - Hadi Ravanbakhsh; Sriram Sankaranarayanan 001 (CDC, 2015)

Counterexample-guided stabilization of switched systems using control lyapunov functions. - Hadi Ravanbakhsh; Sriram Sankaranarayanan 001 (HSCC, 2015)

Counterexample Guided Synthesis of Switched Controllers for Reach-While-Stay Properties. - Hadi Ravanbakhsh; Sriram Sankaranarayanan 001 (CoRR, 2015)

Robust controller synthesis of switched systems using counterexample guided framework. - Hadi Ravanbakhsh; Sriram Sankaranarayanan 001 (EMSOFT, 2016)

Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations. - Hadi Ravanbakhsh; Sriram Sankaranarayanan 001 (Robotics: Science and Systems, 2017)

A Class of Control Certificates to Ensure Reach-While-Stay for Switched Systems. - Hadi Ravanbakhsh; Sriram Sankaranarayanan 001 (SYNT@CAV, 2017)

Path-Following through Control Funnel Functions. - Hadi Ravanbakhsh; Sina Aghli; Christoffer Heckman; Sriram Sankaranarayanan 001 (IROS, 2018)

Inductive Certificate Synthesis for Control Design. - Hadi Ravanbakhsh (CoRR, 2018)

Distributed Online Convex Programming for Collision Avoidance in Multi-agent Autonomous Vehicle Systems. - Guohui Ding 002; Hadi Ravanbakhsh; Zhiyuan Liu 003; Sriram Sankaranarayanan 001; Lijun Chen 001 (ACC, 2019)

VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems. - Tommaso Dreossi; Daniel J. Fremont; Shromona Ghosh; Edward Kim 005; Hadi Ravanbakhsh; Marcell Vazquez-Chanlatte; Sanjit A. Seshia (CAV (1), 2019)

Formal Policy Learning from Demonstrations for Reachability Properties. - Hadi Ravanbakhsh; Sriram Sankaranarayanan 001; Sanjit A. Seshia (ICRA, 2019)

Learning control lyapunov functions from counterexamples and demonstrations. - Hadi Ravanbakhsh; Sriram Sankaranarayanan 001 (Auton. Robots, 2019)

VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems. - Tommaso Dreossi; Daniel J. Fremont; Shromona Ghosh; Edward Kim 005; Hadi Ravanbakhsh; Marcell Vazquez-Chanlatte; Sanjit A. Seshia (CoRR, 2019)

Counterexample-Guided Synthesis of Perception Models and Control. - Shromona Ghosh; Hadi Ravanbakhsh; Sanjit A. Seshia (CoRR, 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; Yash Vardhan Pant; Hadi Ravanbakhsh; Sanjit A. Seshia (ACC, 2021)

Reducing Time-To-Fix For Fuzzer Bugs. - Rui Abreu 001; Franjo Ivancic; Filip Niksic; Hadi Ravanbakhsh; Ramesh Viswanathan (ASE, 2021)