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

Cristian-Ioan  Vasile, Jana Tumova, Sertac Karaman, Calin Belta and Daniela Rus, Optimal On-the-fly Route Planning with Rich Transportation Requests, IEEE Transactions on Robotics, pp. 1-16, doi=10.1109/TRO.2025.3577010, 2025 (pdf)

@ARTICLE{11024558,
author={Vasile, Cristian-Ioan and Tumova, Jana and Karaman, Sertac and Belta, Calin and Rus, Daniela},
journal={IEEE Transactions on Robotics}, 
title={Optimal On-the-fly Route Planning with Rich Transportation Requests}, 
year={2025},
volume={},
number={},
pages={1-16},
keywords={Planning;Logic;Transportation;Roads;Robots;Delays;Cost function;Vehicle routing;Vehicle dynamics;Stochastic processes;Route Planning;Mobility on Demand;Autonomous Agents;Temporal Logic;MILP},
doi={10.1109/TRO.2025.3577010}}

Shuo Liu, Calin Belta, Risk-Aware Adaptive Control Barrier Functions for Safe Control of Nonlinear Systems under Stochastic Uncertainty, 64th IEEE Conference on Decision and Control (CDC), Rio de Janeiro, Brazil, 2025

... coming soon

Clinton Enwerem, Aniruddh Puranic, John S. Baras, Calin Belta, Safety-Aware Reinforcement Learning for Control via Risk-Sensitive Action-Value Iteration and Quantile Regression, 64th IEEE Conference on Decision and Control (CDC), Rio de Janeiro, Brazil, 2025

... coming soon

Yi-Hsuan Chen, Shuo Liu, Wei Xiao, Calin Belta, Michael Otte, Control Barrier Functions via Minkowski Operations for Safe Navigation among Polytopic Sets, 64th IEEE Conference on Decision and Control (CDC), Rio de Janeiro, Brazil, 2025

... coming soon

Eric Palanques Tost, Hanna Krasowski, Murat Arcak, Ron Weiss, Calin Belta, STL-based Optimization of Biomolecular Neural Networks for Regression and Control, 64th IEEE Conference on Decision and Control (CDC), Rio de Janeiro, Brazil, 2025

... coming soon

Peter Crowley, Brendan Long, Andrew Schoer, Zachary Serlin, Makai Mann, Tyler Gonsalves, John Kliem, Calin Belta, Pyquaticus: A Sim-to-Real Pipeline for Learning in Multi-Agent Maritime Strategy Games, 19th International Symposium on Experimental Robotics (ISER), Santa Fe, NM, 2025

... coming soon

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, pp. 1-16, doi: 10.1109/TAC.2025.3538747, 2025 (pdf)

@ARTICLE{10872804,
author={Liu, Wenliang and Alsalehi, Suhail and Mehdipour, Noushin and Bartocci, Ezio and Belta, Calin},
journal={IEEE Transactions on Automatic Control}, 
title={Quantifying the Satisfaction of Spatio-Temporal Logic Specifications for Multi-Agent Control}, 
year={2025},
volume={},
number={},
pages={1-16},
keywords={Robustness;Logic;Optimization;Measurement;Training;Imitation learning;Trajectory;Semantics;Robot kinematics;Recurrent neural networks},
doi={10.1109/TAC.2025.3538747}}

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