Calin Belta
Affiliations: Boston University
According to our database^{1},
Calin Belta
authored at least 232 papers
between 2001 and 2022.
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 OtherLinks
Online presence:

on orcid.org

on sites.bu.edu
On csauthors.net:
Bibliography
2022
Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints.
IEEE Control. Syst. Lett., 2022
2021
Offline and Online Learning of Signal Temporal Logic Formulae Using Decision Trees.
ACM Trans. Cyber Phys. Syst., 2021
J. Syst. Sci. Complex., 2021
IEEE Control. Syst. Lett., 2021
CoRR, 2021
The Reasonable Crowd: Towards evidencebased and interpretable models of driving behavior.
CoRR, 2021
CoRR, 2021
CoRR, 2021
Safe Exploration in Modelbased Reinforcement Learning using Control Barrier Functions.
CoRR, 2021
Neural Networkbased Control for MultiAgent Systems from SpatioTemporal Specifications.
CoRR, 2021
ModelBased Safe Policy Search from Signal Temporal Logic Specifications Using Recurrent Neural Networks.
CoRR, 2021
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 safetycritical control with applications to autonomous vehicles.
Autom., 2021
Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on CyberPhysical Systems, 2021
Modelbased 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 American Control Conference, 2021
Proceedings of the 2021 American Control Conference, 2021
2020
Int. J. Robotics Res., 2020
Int. J. Robotics Res., 2020
Sufficient Conditions for Feasibility of Optimal Control Problems Using Control Barrier Functions.
CoRR, 2020
CoRR, 2020
CoRR, 2020
Decentralized Optimal Control in Multilane Merging for Connected and Automated Vehicles.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020
Compositional synthesis via a convex parameterization of assumeguarantee contracts.
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 SafetyCritical 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 visionbased localization.
Int. J. Robotics Res., 2019
FeasibilityGuided Learning for Robust Control in Constrained Optimal Control Problems.
CoRR, 2019
CoRR, 2019
Temporal Logic Guided Safe Reinforcement Learning Using Control Barrier Functions.
CoRR, 2019
CoRR, 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
Decentralized merging control in traffic networks: a control barrier function approach.
Proceedings of the 10th ACM/IEEE International Conference on CyberPhysical 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 SetInvariance Controllers for Largescale Linear Systems.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Selftriggered Control for Safety Critical Systems Using Control Barrier Functions.
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
ArithmeticGeometric 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
CoRR, 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 SpatioTemporal 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
Theor. Comput. Sci., 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
IEEE Control. Syst. Lett., 2017
Automata Guided Hierarchical Reinforcement Learning for Zeroshot Skill Composition.
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 CyberPhysical 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 GPSDeprived 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 CyberPhysical 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
Model predictive control of urban traffic networks with temporal logic constraints.
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
CoRR, 2015
Autom., 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
Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints.
IEEE Trans. Autom. Control., 2014
Formal Synthesis of Control Policies for Continuous Time Markov Processes From TimeBounded 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 differentialdrive vehicles from timebounded temporal logic specifications.
Int. J. Robotics Res., 2014
Autom., 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 MultiRobot Path Planning with Temporal Logic Constraints.
Int. J. Robotics Res., 2013
Temporal logic robot control based on automata learning of environmental dynamics.
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
Receding Horizon Control in Dynamic Environments from Temporal Logic Specifications.
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
Negotiating the probabilistic satisfaction of temporal logic motion specifications.
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 multiagent 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 timebounded 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 MultiRobot 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
Multiagent 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
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 CyberPhysical 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 largescale 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 actorcritic 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
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
Automatic deployment of autonomous cars in a Robotic UrbanLike Environment (RULE).
Proceedings of the 2009 IEEE International Conference on Robotics and Automation, 2009
Proceedings of the 48th IEEE Conference on Decision and Control, 2009
A probabilistic approach for control of a stochastic system from LTL specifications.
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
Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications.
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
Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions.
IEEE Trans. Robotics, 2007
IEEE Robotics Autom. Mag., 2007
Bioinform., 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
A Fully Automated Framework for Control of Linear Systems from LTL Specifications.
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 genomescale analysis of Escherichia coli production capabilities.
Bioinform., 2005
2004
IEEE Trans. Robotics, 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
2002
IEEE Trans. Robotics Autom., 2002
Comput. Sci. Eng., 2002
Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002
Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks.
Proceedings of the High Performance Computing, 2002
2001
Autom., 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