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

Wenliang Liu, Danyang Li, Erfan Aasi, Daniela Rus, Roberto Tron and Calin Belta, Interpretable Imitation Learning via Generative Adversarial STL Inference and Control, 2nd International Conference on Neuro-symbolic Systems (NeuS), Philadelphia, PA, 2025

... coming soon

Ryan Matheu, Aniruddh Gopinath Puranic, John S. Baras, and Calin Belta, OMTBT: Online Monitoring of Temporal Behavior Trees with Applications to Closed-Loop Learning, 23rd European Control Conference (ECC), 2025, Thessaloniki, Greece, 2025

... coming soon

Hanna Krasowski, Eric Palanques-Tost, Calin Belta and Murat Arcak, Learning Biomolecular Models using Signal Temporal Logic, Learning for Dynamics and Control Conference (L4DC), University of Michigan, 2025

... coming soon

Ahmad Ahmad, Mehdi Kermanshah, Kevin Leahy, Zachary Serlin, Ho Chit Siu, Makai Mann, Cristian-Ioan Vasile, Roberto Tron and Calin Belta , Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards,  Learning for Dynamics and Control Conference (L4DC), University of Michigan, 2025

... coming soon

Ryan Matheu, Aniruddh G. Puranic, John S. Baras and Calin Belta, BT2Automata: Expressing Behavior Trees as Automata for Formal Control Synthesis, Hybrid Systems: Computation and Control Irvine, Ca, 2025

... coming soon

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