Hadi Ravanbakhsh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2014–2019
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | CAV | 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 |
| 2019 | ICRA | Formal Policy Learning from Demonstrations for Reachability Properties. | Hadi Ravanbakhsh, Sriram Sankaranarayanan, Sanjit A. Seshia |
| 2018 | IROS | Path-Following through Control Funnel Functions. | Hadi Ravanbakhsh, Sina Aghli, Christoffer Heckman, Sriram Sankaranarayanan |
| 2016 | EMSOFT | Robust controller synthesis of switched systems using counterexample guided framework. | Hadi Ravanbakhsh, Sriram Sankaranarayanan |
| 2014 | EMSOFT | Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation. | Hadi Ravanbakhsh, Sriram Sankaranarayanan |