Calin Belta
Orcid: 0000-0002-7141-2657Affiliations:
- Boston University
According to our database1,
Calin Belta
authored at least 276 papers
between 2001 and 2024.
Collaborative distances:
Collaborative distances:
Awards
IEEE Fellow
IEEE Fellow 2017, "For contributions to automated control synthesis and robot motion planning and control".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on sites.bu.edu
On csauthors.net:
Bibliography
2024
IEEE Robotics Autom. Lett., February, 2024
2023
IEEE Trans. Autom. Control., July, 2023
Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges.
Autom., June, 2023
Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments From Temporal Logic Specifications.
IEEE Robotics Autom. Lett., April, 2023
Control-Based Planning over Probability Mass Function Measurements via Robust Linear Programming.
CoRR, 2023
Feasibility-Guaranteed Safety Critical Control with Applications to Heterogeneous Platoons.
CoRR, 2023
Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control.
CoRR, 2023
Safe exploration in model-based reinforcement learning using control barrier functions.
Autom., 2023
Proceedings of the Learning for Dynamics and Control Conference, 2023
Proceedings of the Learning for Dynamics and Control Conference, 2023
Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023
Proceedings of the European Control Conference, 2023
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Iterative Convex Optimization for Model Predictive Control with Discrete-Time High-Order Control Barrier Functions.
Proceedings of the American Control Conference, 2023
Proceedings of the American Control Conference, 2023
Proceedings of the American Control Conference, 2023
Proceedings of the American Control Conference, 2023
2022
Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS).
IEEE Trans. Robotics, 2022
Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints.
IEEE Control. Syst. Lett., 2022
Compositional Synthesis for Linear Systems via Convex Optimization of Assume-Guarantee Contracts.
CoRR, 2022
Overcoming Exploration: Deep Reinforcement Learning in Complex Environments from Temporal Logic Specifications.
CoRR, 2022
Sufficient conditions for feasibility of optimal control problems using Control Barrier Functions.
Autom., 2022
Distributed Control using Reinforcement Learning with Temporal-Logic-Based Reward Shaping.
Proceedings of the Learning for Dynamics and Control Conference, 2022
Proceedings of the Learning for Dynamics and Control Conference, 2022
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022
Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Robust Control Barrier Functions for Nonlinear Control Systems with Uncertainty: A Duality-based Approach.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Proceedings of the American Control Conference, 2022
High Order Robust Adaptive Control Barrier Functions and Exponentially Stabilizing Adaptive Control Lyapunov Functions.
Proceedings of the American Control Conference, 2022
2021
ACM Trans. Cyber Phys. Syst., 2021
IEEE Control. Syst. Lett., 2021
CoRR, 2021
Model-Based Safe Policy Search from Signal Temporal Logic Specifications Using Recurrent Neural Networks.
CoRR, 2021
Experimental Validation of Linear and Nonlinear MPC on an Articulated Unmanned Ground Vehicle.
CoRR, 2021
Bridging the gap between optimal trajectory planning and safety-critical control with applications to autonomous vehicles.
Autom., 2021
The Reasonable Crowd: Towards evidence-based and interpretable models of driving behavior.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021
Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021
Model-based reinforcement learning for approximate optimal control with temporal logic specifications.
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Proceedings of the 2021 American Control Conference, 2021
Proceedings of the 2021 American Control Conference, 2021
2020
Int. J. Robotics Res., 2020
Int. J. Robotics Res., 2020
Decentralized Optimal Control in Multi-lane Merging for Connected and Automated Vehicles.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
Approximate Optimal Control for Safety-Critical Systems with Control Barrier Functions.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
Proceedings of the 2020 American Control Conference, 2020
Proceedings of the 2020 American Control Conference, 2020
2019
IEEE Trans. Autom. Control., 2019
A formal methods approach to interpretable reinforcement learning for robotic planning.
Sci. Robotics, 2019
Control in belief space with temporal logic specifications using vision-based localization.
Int. J. Robotics Res., 2019
Feasibility-Guided Learning for Robust Control in Constrained Optimal Control Problems.
CoRR, 2019
CoRR, 2019
CoRR, 2019
Annu. Rev. Control. Robotics Auton. Syst., 2019
Proceedings of the Runtime Verification - 19th International Conference, 2019
Decentralized Merging Control in Traffic Networks with Noisy Vehicle Dynamics: a Joint Optimal Control and Barrier Function Approach.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019
ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications.
Proceedings of the Robotics Research, 2019
Decentralized merging control in traffic networks: a control barrier function approach.
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Compositional Synthesis of Decentralized Robust Set-Invariance Controllers for Large-scale Linear Systems.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Proceedings of the 2019 American Control Conference, 2019
Retroactivity Affects the Adaptive Robustness of Transcriptional Regulatory Networks.
Proceedings of the 2019 American Control Conference, 2019
Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications.
Proceedings of the 2019 American Control Conference, 2019
2018
IEEE Trans. Control. Netw. Syst., 2018
A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks.
IEEE Trans. Control. Netw. Syst., 2018
Proceedings of the 2018 International Symposium on Experimental Robotics, 2018
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
Proceedings of the 16th European Control Conference, 2018
Control Synthesis for Partial Differential Equations from Spatio-Temporal Specifications.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Proceedings of the 2018 Annual American Control Conference, 2018
Proceedings of the 2018 Annual American Control Conference, 2018
2017
IEEE Trans. Autom. Control., 2017
An Approximate Dynamic Programming Approach to Multiagent Persistent Monitoring in Stochastic Environments With Temporal Logic Constraints.
IEEE Trans. Autom. Control., 2017
Dagstuhl Reports, 2017
CoRR, 2017
Proceedings of the Runtime Verification - 17th International Conference, 2017
Proceedings of the Robotics: Science and Systems XIII, 2017
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017
Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017
Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Distributed control policies for localization of large disturbances in urban traffic networks.
Proceedings of the 2017 American Control Conference, 2017
Informative path planning under temporal logic constraints with performance guarantees.
Proceedings of the 2017 American Control Conference, 2017
Proceedings of the 2017 American Control Conference, 2017
2016
IEEE Trans. Control. Netw. Syst., 2016
CoRR, 2016
Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints.
Auton. Robots, 2016
Proceedings of the Algorithmic Foundations of Robotics XII, 2016
Localization of a Ground Robot by Aerial Robots for GPS-Deprived Control with Temporal Logic Constraints.
Proceedings of the International Symposium on Experimental Robotics, 2016
Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016
Receding horizon robot control in partially unknown environments with temporal logic constraints.
Proceedings of the 15th European Control Conference, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Proceedings of the 2016 American Control Conference, 2016
Proceedings of the 2016 American Control Conference, 2016
Integration of deterministic inference with formal synthesis for control under uncertainty.
Proceedings of the 2016 American Control Conference, 2016
Proceedings of the 2016 American Control Conference, 2016
2015
Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties.
IEEE Trans. Autom. Control., 2015
IEEE Trans. Autom. Control., 2015
Int. J. Robotics Res., 2015
CoRR, 2015
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
Temporal logic motion planning using POMDPs with parity objectives: case study paper.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
Proceedings of the 14th European Control Conference, 2015
Proceedings of the 14th European Control Conference, 2015
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Proceedings of the American Control Conference, 2015
Controlling a network of signalized intersections from temporal logical specifications.
Proceedings of the American Control Conference, 2015
Proceedings of the 53rd Annual Allerton Conference on Communication, 2015
Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015
2014
IEEE Trans. Autom. Control., 2014
IEEE Trans. Autom. Control., 2014
Formal Synthesis of Control Policies for Continuous Time Markov Processes From Time-Bounded Temporal Logic Specifications.
IEEE Trans. Autom. Control., 2014
Incremental controller synthesis in probabilistic environments with temporal logic constraints.
Int. J. Robotics Res., 2014
Int. J. Robotics Res., 2014
Control of noisy differential-drive vehicles from time-bounded temporal logic specifications.
Int. J. Robotics Res., 2014
Proceedings of the Robotics: Science and Systems X, 2014
Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints.
Proceedings of the Experimental Robotics, 2014
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
Proceedings of the American Control Conference, 2014
2013
Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints.
Int. J. Robotics Res., 2013
Int. J. Robotics Res., 2013
Technical Report: A Receding Horizon Algorithm for Informative Path Planning with Temporal Logic Constraints
CoRR, 2013
Technical Report: Distribution Temporal Logic: Combining Correctness with Quality of Estimation.
CoRR, 2013
Autom., 2013
Proceedings of the Robotics: Science and Systems IX, Technische Universität Berlin, Berlin, Germany, June 24, 2013
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013
Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013
Temporal logic control for an autonomous quadrotor in a nondeterministic environment.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013
A receding horizon algorithm for informative path planning with temporal logic constraints.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Optimal receding horizon control for finite deterministic systems with temporal logic constraints.
Proceedings of the American Control Conference, 2013
2012
Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees.
IEEE Trans. Robotics, 2012
IEEE Trans. Robotics, 2012
IEEE Trans. Autom. Control., 2012
Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents.
Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012
Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012
Proceedings of the IEEE International Conference on Robotics and Automation, 2012
Proceedings of the IEEE International Conference on Robotics and Automation, 2012
Probabilistic control from time-bounded temporal logic specifications in dynamic environments.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness through Synchronization.
Proceedings of the Distributed Autonomous Robotic Systems, 2012
Incremental control synthesis in probabilistic environments with Temporal Logic constraints.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Multi-agent persistent monitoring in stochastic environments with temporal logic constraints.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Proceedings of the American Control Conference, 2012
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012
2011
Int. J. Robotics Res., 2011
CoRR, 2011
Proceedings of the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2011
Temporal logic control in dynamic environments with probabilistic satisfaction guarantees.
Proceedings of the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2011
Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011
An application of monotone functions decomposition to the reconstruction of gene regulatory networks.
Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
Integration of large-scale metabolic, signaling, and gene regulatory networks with application to infection responses.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
Least squares temporal difference actor-critic methods with applications to robot motion control.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
Synthesis of distributed control and communication schemes from global LTL specifications.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
Proceedings of the American Control Conference, 2011
2010
Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications.
IEEE Trans. Robotics, 2010
IEEE Trans. Ind. Informatics, 2010
IEEE Trans. Autom. Control., 2010
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010
A hierarchical approach to automatic deployment of robotic teams with communication constraints.
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010
Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees.
Proceedings of the IEEE International Conference on Robotics and Automation, 2010
On the need for communication in distributed implementations of LTL motion specifications.
Proceedings of the IEEE International Conference on Robotics and Automation, 2010
Proceedings of the 2010 IEEE Haptics Symposium, 2010
Proceedings of the Distributed Autonomous Robotic Systems, 2010
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
2009
Proceedings of the 2009 IEEE International Conference on Robotics and Automation, 2009
Proceedings of the 48th IEEE Conference on Decision and Control, 2009
Proceedings of the 48th IEEE Conference on Decision and Control, 2009
2008
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications.
IEEE Trans. Autom. Control., 2008
IEEE Trans. Autom. Control., 2008
BMC Syst. Biol., 2008
Proceedings of the 2008 IEEE International Conference on Robotics and Automation, 2008
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008
Proceedings of the 47th IEEE Conference on Decision and Control, 2008
Investigating the genomic basis of metabolic robustness through in silico flux analysis.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008
Formal analysis of Piecewise Affine systems under parameter uncertainty with application to gene networks.
Proceedings of the American Control Conference, 2008
2007
IEEE Trans. Robotics, 2007
IEEE Robotics Autom. Mag., 2007
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
Proceedings of the 2007 IEEE International Conference on Robotics and Automation, 2007
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007
Proceedings of the American Control Conference, 2007
2006
IEEE Trans. Autom. Control., 2006
Proceedings of the 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2006
Proceedings of the 2006 IEEE International Conference on Robotics and Automation, 2006
Proceedings of the 2006 IEEE International Conference on Robotics and Automation, 2006
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006
Proceedings of the 45th IEEE Conference on Decision and Control, 2006
2005
Discrete abstractions for robot motion planning and control in polygonal environments.
IEEE Trans. Robotics, 2005
Int. J. Robotics Res., 2005
Investigating metabolite essentiality through genome-scale analysis of Escherichia coli production capabilities.
Bioinform., 2005
2004
Proceedings of the 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems, Sendai, Japan, September 28, 2004
Proceedings of the 2004 IEEE International Conference on Robotics and Automation, 2004
Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004
2003
Proceedings of the Control Problems in Robotics, 2003
Proceedings of the Robotics Research, The Eleventh International Symposium, 2003
Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003
2002
IEEE Trans. Robotics Autom., 2002
Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002
Proceedings of the High Performance Computing, 2002
Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002
2001
Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001
Proceedings of the 40th IEEE Conference on Decision and Control, 2001
Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001