PUBLICATIONS

Books  |  Patents  |  2025  |  2024  |  2023   |   2022   |   2021   |  2020   |   2019   |   2018   |   2017   |   2016   |   2015   |   2014   |   2013   |   2012   |   2011   |   2010   |   2009   |   2008   |   2007   |   before 2007

2025

Erfan Aasi, Mingyu  Cai, Cristian-Ioan Vasile, Calin Belta, A Two-Level Control Algorithm for Autonomous Driving in Urban Environments, Transactions on Intelligent Transportation Systems, vol. 26, issue 1, pp. 410-424, DOI: 10.1109/TITS.2024.3486557, 2025 (pdf)

@ARTICLE{10753297,
  author={Aasi, Erfan and Cai, Mingyu and Vasile, Cristian-Ioan and Belta, Calin},
  journal={IEEE Transactions on Intelligent Transportation Systems}, 
  title={A Two-Level Control Algorithm for Autonomous Driving in Urban Environments}, 
  year={2025},
  volume={26},
  number={1},
  pages={410-424},
  keywords={Autonomous vehicles;Vehicle dynamics;Uncertainty;Vectors;Runtime;Logic;Urban areas;Stochastic processes;Real-time systems;Predictive models;Autonomous vehicles;formal methods;predictive control},
  doi={10.1109/TITS.2024.3486557}}

Wenliang Liu, Suhail Alsalehi, Noushin Mehdipour, Ezio Bartocci, Calin Belta, Quantifying the Satisfaction of Spatio-Temporal Logic Specifications for Multi-Agent Control, IEEE Transactions on Automatic Control, 2025 (in print)

...coming soon

Shuo Liu, Yihui Mao, Calin Belta, Safety-Critial Planning and Control for Dynamic Obstacle Avoidance Using Control Barrier Functions, American Control Conference (ACC), 2025

... coming soon

Guang Yang, Mingyu Cai, Ahmad Ahmad, Amanda Prorok, Roberto Tron, Calin Belta, LQR-CBF-RRT*: Safe and Optimal Motion Planning, American Control Conference (ACC), 2025

... coming soon
Books  |  Patents  |  2025  |  2024  |  2023   |   2022   |   2021   |  2020   |   2019   |   2018   |   2017   |   2016   |   2015   |   2014   |   2013   |   2012   |   2011   |   2010   |   2009   |   2008   |   2007   |   before 2007