Calin Belta
Professor
Combines formal methods, control theory and machine learning to synthesize provably correct controllers for robots and other cyber-physical systems.
Calin Belta's lab at UMD works on planning, control & multi-robot systems and compilers & programming languages. 58 papers since 2023, 4 at top venues, mostly TAC and RA-L. 8 PhD students. 28 alumni, most often to Amazon and Bain and Co.
At a glance
- papers, 2023–2026
- 15/ year
- at T1 venues
- 7%
- PhD students
- 8
- MS students
- 0
- alumni listed
- 28
Papers by yearfrom the lab homepage, 2023–2026
- 15 papers2026 · T1 0 · collecting
- 15 papers2025 · T1 2
- 11 papers2024 · T1 1
- 17 papers2023 · T1 1
T1 venuesOtherVenues: TAC, RA-L, T-RO
Research focuspaper titles that use each topic's words
- Planning, control & multi-robot systems40 papers
- Compilers & programming languages1 paper
- formal methods1 paper
- combines formal0 papers
- control theory0 papers
Paper list
From the lab homepage.
202615 papers
- International Conference on Learning Representations (ICLR), Rio de JaneiroAccelerated Learning with Linear Temporal Logic using Differentiable Simulation
- European Control Conference (ECC), Reykjavík, IcelandDistributed Trust-Based Multi-Agent Control under Signal Temporal Logic Specifications
- IEEE Conference on Decision and Control (CDC), Honolulu, Hawaii, USAExperimental Design for Controller Selection in Synthetic Biology
- IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)Iterative Convex Optimization with Control Barrier Functions for Obstacle Avoidance among Polytopes
- IEEE Conference on Decision and Control (CDC), Honolulu, Hawaii, USAKoopman-Based Linear MPC for Safe Control using Control Barrier Functions
- IEEE Conference on Decision and Control (CDC), Honolulu, Hawaii, USALearning-Enabled Iterative Convex Optimization for Safety-Critical Model Predictive Control
- IEEE Control Systems Letters (L-CSS) (in print)Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic
- IEEE Conference on Decision and Control (CDC), Honolulu, Hawaii, USALong-Horizon Geometry-Aware Navigation among Polytopes via MILP-MPC and Minkowski-Based CBFs
- Advanced Robotics Research , 0, e70182. https://doi.org/10.1002/adrr.70182Model Predictive Control for Magnetically Actuated Cellbots
- IEEE Conference on Decision and Control (CDC), Honolulu, Hawaii, USAOn the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks
- IEEE Conference on Decision and Control (CDC), Honolulu, Hawaii, USARisk-Constrained Belief-Space Optimization for Safe Control under Latent Uncertainty
- American Control Conference (ACC), New OrleansSafety-Critical Control with Guaranteed Lipschitz Continuity via Filtered Control Barrier Functions
202515 papers
- Transactions on Intelligent Transportation SystemsA Two-Level Control Algorithm for Autonomous Driving in Urban Environments
- Learning for Dynamics and Control Conference (L4DC), University of MichiganAccelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards
- Hybrid Systems: Computation and Control Irvine, CaBT2Automata: Expressing Behavior Trees as Automata for Formal Control Synthesis
- IEEE Conference on Decision and Control (CDC), Rio de Janeiro, BrazilControl Barrier Functions via Minkowski Operations for Safe Navigation among Polytopic Sets
- International Conference on Neuro-symbolic Systems (NeuS), Philadelphia, PAInterpretable Imitation Learning via Generative Adversarial STL Inference and Control
- Learning for Dynamics and Control Conference (L4DC), University of MichiganLearning Biomolecular Models using Signal Temporal Logic
- American Control Conference (ACC)LQR-CBF-RRT*: Safe and Optimal Motion Planning
- European Control Conference (ECC), , Thessaloniki, GreeceOMTBT: Online Monitoring of Temporal Behavior Trees with Applications to Closed-Loop Learning
- T-RO (T1)Optimal On-the-fly Route Planning with Rich Transportation Requests
- International Symposium on Experimental Robotics (ISER), Santa Fe, NMPyquaticus: A Sim-to-Real Pipeline for Learning in Multi-Agent Maritime Strategy Games
- TAC (T1)Quantifying the Satisfaction of Spatio-Temporal Logic Specifications for Multi-Agent Control
- IEEE Conference on Decision and Control (CDC), Rio de Janeiro, BrazilRisk-Aware Adaptive Control Barrier Functions for Safe Control of Nonlinear Systems under Stochastic Uncertainty
202411 papers
- ACS Synthetic Biology, DOI: 10.1021/acssynbio.4c00037Algorithms for Autonomous Formation of Multicellular Shapes from Single Cells
- IEEE Conference on Decision and Control (CDC), Milano, ItalyAuxiliary-Variable Adaptive Control Lyapunov Barrier Functions for Spatio-Temporally Constrained Safety-Critical Applications
- IEEE Conference on Decision and Control (CDC), Milano, ItalyCapability Augmentation for Heterogeneous Dynamic Teaming with Temporal Logic Tasks
- AutomaticaCompositional synthesis for linear systems via convex optimization of assume-guarantee contracts
- American Control Conference (ACC), Toronto, CanadaControl-Based Planning over Probability Mass Function Measurements via Robust Linear Programming
- ACM Transactions on Cyber-Physical SystemsCooperative Driving of Connected Autonomous vehicle using Responsibility Sensitive Safety Rules: A Control Barrier Functions Approach
- IEEE Conference on Decision and Control (CDC), Milano, ItalyFeasibility-Guaranteed Safety-Critical Control with Applications to Heterogeneous Platoons
- TAC (T1)Generalized Mean Robustness for Signal Temporal Logic
- RA-LLearning a Tracking Controller for Rolling μbots
- Annual Reviews in ControlToward model-free safety-critical control with humans in the loop
- American Control Conference (ACC), Toronto, CanadaUncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control
202317 papers
- —American Control Conference (ACC)
- SingaporeAuxiliary-Adaptive Control Barrier Functions for Safety Critical Systems 62nd IEEE Conference on Decision and Control (CDC)
- Learning for Dynamics and Control Conference (L4DC), , in Proceedings of Machine Learning ResearchCatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications
- International Conference on Manipulation, Automation and Robotics at Small Scales (MARSS), Abu Dhabi, UAEClosed-loop Control for a Heterogeneous Group of Magnetically-actuated Microrobots
- TAC (T1)Event-Triggered Control for Safety-Critical Systems with Unknown Dynamics
- AutomaticaFormal Methods to Comply with Rules of the Road in Autonomous Driving: State of the Art and Grand Challenges
- American Control Conference (ACC)Iterative Convex Optimization for Model Predictive Control with Discrete-Time High-Order Control Barrier Functions
- European Control Conference (ECC)Learning Feasibility Constraints for Control Barrier Functions
- IEEE Conference on Decision and Control (CDC), SingaporeLearning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet
- RA-LOvercoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments from Temporal Logic Specifications
- American Control Conference (ACC)Robust Filtering based on Complex Cell Networks from the Visual Cortex
- American Control Conference (ACC)Robust Multi-Agent Coordination from CaTL+ Specifications
Where alumni went28 listed, 43% to industry
Industry 3Academia 4
Most often to
- Amazon
- Bain and Co
- Microsoft
Also to
- MIT
- Shanghai Jiao Tong University
- the University of Colorado
Apply to UMDFall 2027
Not announced yet
UMD Computer Science PhD
- Round
- Single round
- Opens
- —
- GRE
- See program page
- English
- See program page
- Fee
- See program page
Not yet confirmed for this intake.
Similar labsnearest by research summary
- USMIT
Julie Shah
3 T1 - GBUCL
Pian Yu
- Planning, control & multi-robot systems
- USStanford
Dorsa Sadigh
- Manipulation & robot learning
- SGNTU
Lihua Xie
- Planning, control & multi-robot systems
- USMichigan
Xi Jessie Yang
- Human-robot interaction & assistive robots
- CNTsinghua
Zhidong Deng
- Autonomous vehicles & drones
Your notes
Save this lab to keep notes.
Data
Checked against the lab homepage.
- Collected
- Verified
- Papers
- The lab homepage
- Members
- Lab homepage
- Alumni
- Lab homepage
Tiers are venue classifications, not lab rankings.