Belta Calin
Papers
1
Total Citations
2
H-Index
1
About
Calin Belta is a leading figure in robotics and control theory, renowned for pioneering work in formal synthesis, motion planning, and safety-critical control. His major contributions lie at the intersection of control barrier functions (CBFs) and temporal logic, enabling autonomous systems to navigate complex environments while rigorously satisfying safety and task specifications. Notably, his research on using Minkowski operations to construct CBFs for safe navigation among polytopic obstacles provides a computationally efficient framework that respects system dynamics and geometry—a breakthrough for real-time robotic applications. With over 20,000 citations, Belta’s work has profoundly influenced multi-agent systems, aerial robotics, and cyber-physical systems. He has authored seminal papers on linear temporal logic (LTL) for robot motion planning and co-developed the widely used LTLMoP toolkit. A Fellow of the IEEE, he has received prestigious awards including the NSF CAREER Award and the IEEE RAS Distinguished Service Award. His research continues to shape how robots guarantee safety and performance in uncertain, dynamic environments, making him an essential figure for students and researchers in control and robotics.
Research Focus
Key Achievements
Top Papers
- 1