Călin Belta

University of Maryland, College Park — United States

Computer Science · Physical Sciences

56h-index11.8kcitations476works1.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(244), Advanced Control Systems Optimization(99), Robotic Path Planning Algorithms(77), Model-Driven Software Engineering Techniques(67), Gene Regulatory Network Analysis(65)

Publications475 total

Feasibility-aware Learning of Robust Temporal Logic Controllers using BarrierNet
ArXiv.org·2025Open Access
Sampling-Aware Control Barrier Functions for Safety-Critical and Finite-Time Constrained Control
arXiv (Cornell University)·2025Open Access
STL-based Optimization of Biomolecular Neural Networks for Regression and Control
arXiv (Cornell University)·2025Open Access
LQR-CBF-RRT*: Safe and Optimal Motion Planning
2025· 3 cited
Safety-Critical Planning and Control for Dynamic Obstacle Avoidance Using Control Barrier Functions
2025· 6 cited
OMTBT: Online Monitoring of Temporal Behavior Trees with Applications to Closed-Loop Learning
2025
Safety-Aware Reinforcement Learning for Control via Risk-Sensitive Action-Value Iteration and Quantile Regression
arXiv (Cornell University)·2025Open Access
Accelerated Learning with Linear Temporal Logic using Differentiable Simulation
arXiv (Cornell University)·2025Open Access
BT2Automata: Expressing Behavior Trees as Automata for Formal Control Synthesis
2025Open Access
Safety-Critical Control with Guaranteed Lipschitz Continuity via Filtered Control Barrier Functions
arXiv (Cornell University)·2025Open Access
Magnetized Cellbots to Spatiotemporally Control Differentiation of Human-Induced Pluripotent Stem Cells
2025Open Access
Quantifying the Satisfaction of Spatio-Temporal Logic Specifications for Multiagent Control
IEEE Transactions on Automatic Control·2025· 2 cited
Learning-Enabled Iterative Convex Optimization for Safety-Critical Model Predictive Control
IEEE Open Journal of Control Systems·2025Open Access
Optimal On-the-Fly Route Planning With Rich Transportation Requests
IEEE Transactions on Robotics·2025
Auxiliary-Variable Adaptive Control Lyapunov Barrier Functions for Spatio-Temporally Constrained Safety-Critical Applications
2024· 3 cited
Feasibility-Guaranteed Safety-Critical Control with Applications to Heterogeneous Platoons
2024· 3 cited
Capability Augmentation for Heterogeneous Dynamic Teaming with Temporal Logic Tasks
2024
Learning Biomolecular Models using Signal Temporal Logic
2024Open Access
Learning Biomolecular Models using Signal Temporal Logic
arXiv (Cornell University)·2024Open Access
Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards
arXiv (Cornell University)·2024Open Access
page 1 of 24Next →

Frequent Co-authors

Marius Kloetzer(6), Wei Xiao(6), Stephen L. Smith(5), Daniela Rus(5), Xu Chu Ding(5), Austin Jones(5), Zhaodan Kong(5), Cristian-Ioan Vasile(5), George J. Pappas(3), Boyan Yordanov(3), Ebru Aydın Göl(3), Jana Tůmová(3), Christos G. Cassandras(3), Morteza Lahijanian(3), Sean B. Andersson(3), Emilio Frazzoli(2), Alphan Ulusoy(2), Xuchu Ding(2), Mac Schwager(2), Sadra Sadraddini(2)