Calin Belta

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 172

Top Venues

CoRR

CDC

ACC

IEEE Trans. Autom. Control.

Publications

Kasra Ghasemi, Sadra Sadraddini, Calin Belta
Compositional synthesis for linear systems via convex optimization of assume-guarantee contracts. Autom. 169 (2024)
Logan E. Beaver, Max Sokolich, Suhail Alsalehi, Ron Weiss, Sambeeta Das, Calin Belta
Learning a Tracking Controller for Rolling $\mu$bots. IEEE Robotics Autom. Lett. 9 (2) (2024)
Mehdi Kermanshah, Logan E. Beaver, Max Sokolich, Sambeeta Das, Ron Weiss, Roberto Tron, Calin Belta
Control of Microrobots Using Model Predictive Control and Gaussian Processes for Disturbance Estimation. CoRR (2024)
Wenliang Liu, Danyang Li, Erfan Aasi, Roberto Tron, Calin Belta
Interpretable Generative Adversarial Imitation Learning. CoRR (2024)
Wei Xiao, Anni Li, Christos G. Cassandras, Calin Belta
Toward model-free safety-critical control with humans in the loop. Annu. Rev. Control. 57 (2024)
Mohammad Khayatian, Mohammadreza Mehrabian, I-Ching Tseng, Chung-Wei Lin, Calin Belta, Aviral Shrivastava
Cooperative Driving of Connected Autonomous vehicle using Responsibility Sensitive Safety Rules: A Control Barrier Functions Approach. ACM Trans. Cyber Phys. Syst. 8 (3) (2024)
Max H. Cohen, Makai Mann, Kevin Leahy, Calin Belta
Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control. CoRR (2023)
Ahmad Ahmad, Cristian-Ioan Vasile, Roberto Tron, Calin Belta
Robustness Measures and Monitors for Time Window Temporal Logic. CoRR (2023)
Mehdi Kermanshah, Calin Belta, Roberto Tron
Control-Based Planning over Probability Mass Function Measurements via Robust Linear Programming. CoRR (2023)
Ahmad Ahmad, Cristian-Ioan Vasile, Roberto Tron, Calin Belta
Robustness Measures and Monitors for Time Window Temporal Logic. CDC (2023)
Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications. L4DC (2023)
Mehdi Kermanshah, Nguyen Nguyen, Calin Belta, Roberto Tron
Robust Filtering based on Complex Cell Networks from the Visual Cortex. ACC (2023)
Erfan Aasi, Mingyu Cai, Cristian Ioan Vasile, Calin Belta
Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees. L4DC (2023)
Max H. Cohen, Calin Belta
Modular Adaptive Safety-Critical Control. ACC (2023)
Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
Robust Multi-Agent Coordination from CaTL+ Specifications. ACC (2023)
Wenliang Liu, Wei Xiao, Calin Belta
Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet. CoRR (2023)
Max H. Cohen, Calin Belta
Modular Adaptive Safety-Critical Control. CoRR (2023)
Noushin Mehdipour, Matthias Althoff, Radboud J. Duintjer Tebbens, Calin Belta
Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges. Autom. 152 (2023)
Wenliang Liu, Mirai Nishioka, Calin Belta
Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks. ICRA (2023)
Guang Yang, Mingyu Cai, Ahmad Ahmad, Calin Belta, Roberto Tron
Efficient LQR-CBF-RRT*: Safe and Optimal Motion Planning. CoRR (2023)
Wenliang Liu, Wei Xiao, Calin Belta
Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet. CDC (2023)
Wei Xiao, Calin Belta, Christos G. Cassandras
Event-Triggered Control for Safety-Critical Systems With Unknown Dynamics. IEEE Trans. Autom. Control. 68 (7) (2023)
Max H. Cohen, Calin Belta
Safe exploration in model-based reinforcement learning using control barrier functions. Autom. 147 (2023)
Mingyu Cai, Erfan Aasi, Calin Belta, Cristian-Ioan Vasile
Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments From Temporal Logic Specifications. IEEE Robotics Autom. Lett. 8 (4) (2023)
Kevin Leahy, Zachary Serlin, Cristian-Ioan Vasile, Andrew Schoer, Austin M. Jones, Roberto Tron, Calin Belta
Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS). IEEE Trans. Robotics 38 (4) (2022)
Max H. Cohen, Calin Belta, Roberto Tron
Robust Control Barrier Functions for Nonlinear Control Systems with Uncertainty: A Duality-based Approach. CDC (2022)
Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
Robust Multi-Agent Coordination from CaTL+ Specifications. CoRR (2022)
Max H. Cohen, Calin Belta, Roberto Tron
Robust Control Barrier Functions for Nonlinear Control Systems with Uncertainty: A Duality-based Approach. CoRR (2022)
Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications. CoRR (2022)
Wei Xiao, Calin Belta
High-Order Control Barrier Functions. IEEE Trans. Autom. Control. 67 (7) (2022)
Max H. Cohen, Calin Belta
High Order Robust Adaptive Control Barrier Functions and Exponentially Stabilizing Adaptive Control Lyapunov Functions. ACC (2022)
Logan E. Beaver, Max Sokolich, Suhail Alsalehi, Ron Weiss, Sambeeta Das, Calin Belta
Learning for Control of Rolling ubots. CoRR (2022)
Ningyuan Zhang, Wenliang Liu, Calin Belta
Distributed Control using Reinforcement Learning with Temporal-Logic-Based Reward Shaping. L4DC (2022)
Erfan Aasi, Cristian Ioan Vasile, Mahroo Bahreinian, Calin Belta
Classification of Time-Series Data Using Boosted Decision Trees. IROS (2022)
Kasra Ghasemi, Sadra Sadraddini, Calin Belta
Compositional Synthesis for Linear Systems via Convex Optimization of Assume-Guarantee Contracts. CoRR (2022)
Suhail Alsalehi, Erfan Aasi, Ron Weiss, Calin Belta
Learning Spatio-Temporal Specifications for Dynamical Systems. L4DC (2022)
Max H. Cohen, Calin Belta
High Order Robust Adaptive Control Barrier Functions and Exponentially Stabilizing Adaptive Control Lyapunov Functions. CoRR (2022)
Ahmad Ahmad, Calin Belta, Roberto Tron
Adaptive Sampling-based Motion Planning with Control Barrier Functions. CoRR (2022)
Kasra Ghasemi, Sadra Sadraddini, Calin Belta
Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization. CDC (2022)
Mingyu Cai, Erfan Aasi, Calin Belta, Cristian-Ioan Vasile
Overcoming Exploration: Deep Reinforcement Learning in Complex Environments from Temporal Logic Specifications. CoRR (2022)
Ningyuan Zhang, Wenliang Liu, Calin Belta
Distributed Control using Reinforcement Learning with Temporal-Logic-Based Reward Shaping. CoRR (2022)
Kasra Ghasemi, Sadra Sadraddini, Calin Belta
Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization. CoRR (2022)
Wenliang Liu, Noushin Mehdipour, Calin Belta
Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints. IEEE Control. Syst. Lett. 6 (2022)
Wei Xiao, Calin Belta, Christos G. Cassandras
Adaptive Control Barrier Functions. IEEE Trans. Autom. Control. 67 (5) (2022)
Ahmad Ahmad, Calin Belta, Roberto Tron
Adaptive Sampling-based Motion Planning with Control Barrier Functions. CDC (2022)
Erfan Aasi, Mingyu Cai, Cristian Ioan Vasile, Calin Belta
Time-Incremental Learning from Data Using Temporal Logics. CoRR (2021)
Max H. Cohen, Calin Belta
Model-based reinforcement learning for approximate optimal control with temporal logic specifications. HSCC (2021)
Erfan Aasi, Cristian Ioan Vasile, Calin Belta
A Control Architecture for Provably-Correct Autonomous Driving. CoRR (2021)
Suhail Alsalehi, Erfan Aasi, Ron Weiss, Calin Belta
Learning Spatio-Temporal Specifications for Dynamical Systems. CoRR (2021)
Max H. Cohen, Calin Belta
Safe Exploration in Model-based Reinforcement Learning using Control Barrier Functions. CoRR (2021)
Wei Xiao, Noushin Mehdipour, Anne Collin, Amitai Bin-Nun, Emilio Frazzoli, Radboud J. Duintjer Tebbens, Calin Belta
Rule-based Optimal Control for Autonomous Driving. CoRR (2021)
Wei Xiao, Noushin Mehdipour, Anne Collin, Amitai Bin-Nun, Emilio Frazzoli, Radboud J. Duintjer Tebbens, Calin Belta
Rule-based optimal control for autonomous driving. ICCPS (2021)
Wei Xiao, Calin Belta, Christos G. Cassandras
Event-Triggered Safety-Critical Control for Systems with Unknown Dynamics. CoRR (2021)
Erfan Aasi, Cristian Ioan Vasile, Mahroo Bahreinian, Calin Belta
Classification of Time-Series Data Using Boosted Decision Trees. CoRR (2021)
Erfan Aasi, Cristian Ioan Vasile, Mahroo Bahreinian, Calin Belta
Inferring Temporal Logic Properties from Data using Boosted Decision Trees. CoRR (2021)
Bassam Helou, Aditya Dusi, Anne Collin, Noushin Mehdipour, Zhiliang Chen, Cristhian Lizarazo, Calin Belta, Tichakorn Wongpiromsarn, Radboud J. Duintjer Tebbens, Oscar Beijbom
The Reasonable Crowd: Towards evidence-based and interpretable models of driving behavior. CoRR (2021)
Giuseppe Bombara, Calin Belta
Offline and Online Learning of Signal Temporal Logic Formulae Using Decision Trees. ACM Trans. Cyber Phys. Syst. 5 (3) (2021)
Wei Xiao, Christos G. Cassandras, Calin Belta
Safety-Critical Optimal Control for Autonomous Systems. J. Syst. Sci. Complex. 34 (5) (2021)
Suhail Alsalehi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications. CDC (2021)
Wenliang Liu, Noushin Mehdipour, Calin Belta
Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints. ACC (2021)
Erfan Aasi, Cristian Ioan Vasile, Calin Belta
A Control Architecture for Provably-Correct Autonomous Driving. ACC (2021)
Bassam Helou, Aditya Dusi, Anne Collin, Noushin Mehdipour, Zhiliang Chen, Cristhian Lizarazo, Calin Belta, Tichakorn Wongpiromsarn, Radboud J. Duintjer Tebbens, Oscar Beijbom
The Reasonable Crowd: Towards evidence-based and interpretable models of driving behavior. IROS (2021)
Wei Xiao, Calin Belta, Christos G. Cassandras
Event-Triggered Safety-Critical Control for Systems with Unknown Dynamics. CDC (2021)
Erkan Kayacan, Wouter Saeys, Herman Ramon, Calin Belta, Joshua M. Peschel
Experimental Validation of Linear and Nonlinear MPC on an Articulated Unmanned Ground Vehicle. CoRR (2021)
Suhail Alsalehi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications. CoRR (2021)
Wei Xiao, Noushin Mehdipour, Anne Collin, Amitai Y. Bin-Nun, Emilio Frazzoli, Radboud J. Duintjer Tebbens, Calin Belta
Rule-based Evaluation and Optimal Control for Autonomous Driving. CoRR (2021)
Wenliang Liu, Calin Belta
Model-Based Safe Policy Search from Signal Temporal Logic Specifications Using Recurrent Neural Networks. CoRR (2021)
Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta
Specifying User Preferences using Weighted Signal Temporal Logic. ACC (2021)
Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta
Specifying User Preferences Using Weighted Signal Temporal Logic. IEEE Control. Syst. Lett. 5 (6) (2021)
Max H. Cohen, Calin Belta
Model-Based Reinforcement Learning for Approximate Optimal Control with Temporal Logic Specifications. CoRR (2021)
Kasra Ghasemi, Sadra Sadraddini, Calin Belta
Compositional synthesis via a convex parameterization of assume-guarantee contracts. HSCC (2020)
Wenliang Liu, Noushin Mehdipour, Calin Belta
Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints. CoRR (2020)
Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta
Specifying User Preferences using Weighted Signal Temporal Logic. CoRR (2020)
Kasra Ghasemi, Sadra Sadraddini, Calin Belta
Compositional Synthesis via a Convex Parameterization of Assume-Guarantee Contracts. CoRR (2020)
Max H. Cohen, Calin Belta
Approximate Optimal Control for Safety-Critical Systems with Control Barrier Functions. CDC (2020)
Guang Yang, Calin Belta, Roberto Tron
Continuous-time Signal Temporal Logic Planning with Control Barrier Functions. ACC (2020)
Wei Xiao, Christos G. Cassandras, Calin Belta
Decentralized Optimal Control in Multi-lane Merging for Connected and Automated Vehicles. ITSC (2020)
Cristian Ioan Vasile, Xiao Li, Calin Belta
Reactive sampling-based path planning with temporal logic specifications. Int. J. Robotics Res. 39 (8) (2020)
Chuangchuang Sun, Xiao Li, Calin Belta
Automata Guided Semi-Decentralized Multi-Agent Reinforcement Learning. ACC (2020)
Wei Xiao, Calin Belta, Christos G. Cassandras
Sufficient Conditions for Feasibility of Optimal Control Problems Using Control Barrier Functions. CoRR (2020)
Wei Xiao, Christos G. Cassandras, Calin Belta
Decentralized Optimal Control in Multi-lane Merging for Connected and Automated Vehicles. CoRR (2020)
Zachary Serlin, Guang Yang, Brandon Sookraj, Calin Belta, Roberto Tron
Distributed and consistent multi-image feature matching via QuickMatch. Int. J. Robotics Res. 39 (10-11) (2020)
Wei Xiao, Calin Belta, Christos G. Cassandras
Adaptive Control Barrier Functions for Safety-Critical Systems. CoRR (2020)
Max H. Cohen, Calin Belta
Approximate Optimal Control for Safety-Critical Systems with Control Barrier Functions. CoRR (2020)
Guang Yang, Calin Belta, Roberto Tron
Non-uniform Sampled Motion Planning for Continuous-time STL. CoRR (2020)
Guang Yang, Calin Belta, Roberto Tron
Self-triggered Control for Safety Critical Systems using Control Barrier Functions. CoRR (2019)
Iman Haghighi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics. CDC (2019)
Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta
Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications. CoRR (2019)
Junmin Wang, Calin Belta
Retroactivity Affects the Adaptive Robustness of Transcriptional Regulatory Networks. ACC (2019)
Guang Yang, Calin Belta, Roberto Tron
Self-triggered Control for Safety Critical Systems Using Control Barrier Functions. ACC (2019)
Guang Yang, Bee Vang, Zachary Serlin, Calin Belta, Roberto Tron
Sampling-based Motion Planning via Control Barrier Functions. CoRR (2019)
Kasra Ghasemi, Sadra Sadraddini, Calin Belta
Compositional Synthesis of Decentralized Robust Set-Invariance Controllers for Large-scale Linear Systems. CDC (2019)
Wei Xiao, Calin Belta, Christos G. Cassandras
Decentralized merging control in traffic networks: a control barrier function approach. ICCPS (2019)
Sadra Sadraddini, Calin Belta
Formal Synthesis of Control Strategies for Positive Monotone Systems. IEEE Trans. Autom. Control. 64 (2) (2019)
Kevin Leahy, Eric Cristofalo, Cristian Ioan Vasile, Austin Jones, Eduardo Montijano, Mac Schwager, Calin Belta
Control in belief space with temporal logic specifications using vision-based localization. Int. J. Robotics Res. 38 (6) (2019)
Guang Yang, Roberto Tron, Calin Belta
Continuous-time Signal Temporal Logic Planning with Control Barrier Function. CoRR (2019)
Dogan Ulus, Calin Belta
Reactive Control Meets Runtime Verification: A Case Study of Navigation. RV (2019)
Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta
Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications. ACC (2019)
Xiao Li, Calin Belta
Temporal Logic Guided Safe Reinforcement Learning Using Control Barrier Functions. CoRR (2019)
Wei Xiao, Christos G. Cassandras, Calin Belta
Decentralized Merging Control in Traffic Networks with Noisy Vehicle Dynamics: a Joint Optimal Control and Barrier Function Approach. ITSC (2019)

Calin Belta.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Calin Belta