Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri. - Calin Belta; Jonathan Schug; Thao Dang 001; Vijay Kumar 001; George J. Pappas; Harvey Rubin; Paul Dunlap (CDC, 2001)

On controlling aircraft formations. - Rafael Fierro; Calin Belta; Jaydev P. Desai; Vijay Kumar 001 (CDC, 2001)

Hybrid Modeling and Simulation of Biomolecular Networks. - Rajeev Alur; Calin Belta; Franjo Ivancic (HSCC, 2001)

Motion Generation for Formations of Robots a Geometric Approach. - Calin Belta; Vijay Kumar 001 (ICRA, 2001)

Rotating stall control for axial flow compressors. - Calin Belta; Guoxiang Gu; Andrew G. Sparks; Siva Banda (Autom., 2001)

Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks. - Calin Belta; Luc C. G. J. M. Habets; Vijay Kumar 001 (CDC, 2002)

Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks. - Rajeev Alur; Calin Belta; Franjo Ivancic; Vijay Kumar 001; Harvey Rubin; Jonathan Schug; Oleg Sokolsky; Jonathan Webb (HiPC, 2002)

Trajectory Design for Formations of Robots by Kinetic Energy Shaping. - Calin Belta; Vijay Kumar 001 (ICRA, 2002)

Modeling and analyzing biomolecular networks. - Rajeev Alur; Calin Belta; Vijay Kumar 001; Max Mintz; George J. Pappas; Harvey Rubin; Jonathan Schug (Comput. Sci. Eng., 2002)

An SVD-based projection method for interpolation on SE(3). - Calin Belta; Vijay R. Kumar (IEEE Trans. Robotics Autom., 2002)

Control of a team of car-like robots using abstractions. - Calin Belta; Guilherme A. S. Pereira; Vijay Kumar 001 (CDC, 2003)

Abstraction and control for groups of fully-actuated planar robots. - Calin Belta; Vijay Kumar 001 (ICRA, 2003)

Abstraction and Control for Swarms of Robots. - Calin Belta; Guilherme A. S. Pereira; Vijay Kumar 001 (ISRR, 2003)

Towards Abstraction and Control for Large Groups of Robots. - Calin Belta; Vijay Kumar 001 (Control Problems in Robotics, 2003)

Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems. - Calin Belta; Peter Finin; Luc C. G. J. M. Habets; Ádám M. Halász; Marcin Imielinski; Vijay Kumar 001; Harvey Rubin (HSCC, 2004)

On Controlling Aircraft and Underwater Vehicles. - Calin Belta (ICRA, 2004)

Hybrid control for visibility-based pursuit-evasion games. - Volkan Isler; Calin Belta; Kostas Daniilidis; George J. Pappas (IROS, 2004)

Abstraction and control for Groups of robots. - Calin Belta; Vijay R. Kumar (IEEE Trans. Robotics, 2004)

Investigating metabolite essentiality through genome-scale analysis of Escherichia coli production capabilities. - Marcin Imielinski; Calin Belta; Ádám M. Halász; Harvey Rubin (Bioinform., 2005)

Computational Techniques for Analysis of Genetic Network Dynamics. - Calin Belta; Joel M. Esposito; Jongwoo Kim; Vijay Kumar 001 (Int. J. Robotics Res., 2005)

Discrete abstractions for robot motion planning and control in polygonal environments. - Calin Belta; Volkan Isler; George J. Pappas (IEEE Trans. Robotics, 2005)

Control of Rectangular Multi-Affine Hybrid Systems. - Luc C. G. J. M. Habets; Marius Kloetzer; Calin Belta (CDC, 2006)

A Fully Automated Framework for Control of Linear Systems from LTL Specifications. - Marius Kloetzer; Calin Belta (HSCC, 2006)

Reachability Analysis of Multi-affine Systems. - Marius Kloetzer; Calin Belta (HSCC, 2006)

Hierarchical Abstractions for Robotic Swarms. - Marius Kloetzer; Calin Belta (ICRA, 2006)

Controlling three Dimensional Swarms of Robots. - Nathan Michael; Calin Belta; Vijay Kumar 001 (ICRA, 2006)

A Framework for Automatic Deployment of Robots in 2D and 3D Environments. - Marius Kloetzer; Calin Belta (IROS, 2006)

Controlling a Class of Nonlinear Systems on Rectangles. - Calin Belta; Luc C. G. J. M. Habets (IEEE Trans. Autom. Control., 2006)

On the Computation of Minimal Cut Sets in Genome Scale Metabolic Networks. - Marcin Imielinski; Calin Belta (ACC, 2007)

Model Checking Genetic Regulatory Networks with Parameter Uncertainty. - Grégory Batt; Calin Belta; Ron Weiss (HSCC, 2007)

Managing non-determinism in symbolic robot motion planning and control. - Marius Kloetzer; Calin Belta (ICRA, 2007)

Model Checking Liveness Properties of Genetic Regulatory Networks. - Grégory Batt; Calin Belta; Ron Weiss (TACAS, 2007)

Robustness analysis and tuning of synthetic gene networks. - Grégory Batt; Boyan Yordanov; Ron Weiss; Calin Belta (Bioinform., 2007)

Symbolic planning and control of robot motion [Grand Challenges of Robotics]. - Calin Belta; Antonio Bicchi; Magnus Egerstedt; Emilio Frazzoli; Eric Klavins; George J. Pappas (IEEE Robotics Autom. Mag., 2007)

Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions. - Marius Kloetzer; Calin Belta (IEEE Trans. Robotics, 2007)

Formal analysis of Piecewise Affine systems under parameter uncertainty with application to gene networks. - Boyan Yordanov; Calin Belta (ACC, 2008)

Investigating the genomic basis of metabolic robustness through in silico flux analysis. - Marcin Imielinski; Niels Klitgord; Calin Belta (CDC, 2008)

Formal analysis of timed continuous Petri nets. - Marius Kloetzer; Cristian Mahulea; Calin Belta; Laura Recalde; Manuel Silva Suárez (CDC, 2008)

Dealing with Nondeterminism in Symbolic Control. - Marius Kloetzer; Calin Belta (HSCC, 2008)

Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications. - Boyan Yordanov; Calin Belta (HSCC, 2008)

Distributed implementations of global temporal logic motion specifications. - Marius Kloetzer; Calin Belta (ICRA, 2008)

Exploiting the pathway structure of metabolism to reveal high-order epistasis. - Marcin Imielinski; Calin Belta (BMC Syst. Biol., 2008)

Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty. - Grégory Batt; Calin Belta; Ron Weiss (IEEE Trans. Autom. Control., 2008)

A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications. - Marius Kloetzer; Calin Belta (IEEE Trans. Autom. Control., 2008)

Robot Motion Planning. - Calin Belta (Wiley Encyclopedia of Computer Science and Engineering, 2008)

A probabilistic approach for control of a stochastic system from LTL specifications. - Morteza Lahijanian; Sean B. Andersson; Calin Belta (CDC, 2009)

Temporal logic control of discrete-time piecewise affine systems. - Boyan Yordanov; Calin Belta (CDC, 2009)

Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE). - Morteza Lahijanian; Marius Kloetzer; Sara Itani; Calin Belta; Sean B. Andersson (ICRA, 2009)

Receding horizon surveillance with temporal logic specifications. - Xu Chu Ding; Calin Belta; Christos G. Cassandras (CDC, 2010)

A symbolic approach to controlling piecewise affine systems. - Jana Tumova; Boyan Yordanov; Calin Belta; Ivana Cerna; Jiri Barnat (CDC, 2010)

A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment. - Yushan Chen; Xu Chu Ding; Alin Stefanescu; Calin Belta (DARS, 2010)

IN-HAPTICS: Interactive navigation using haptics. - Richard D. Walker; Sean B. Andersson; Calin Belta; Pierre E. Dupont (HAPTICS, 2010)

On the need for communication in distributed implementations of LTL motion specifications. - Marius Kloetzer; Sanjiv Itani; Sam Birch; Calin Belta (ICRA, 2010)

Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees. - Morteza Lahijanian; Joseph Wasniewski; Sean B. Andersson; Calin Belta (ICRA, 2010)

A hierarchical approach to automatic deployment of robotic teams with communication constraints. - Yushan Chen; Sam Birch; Alin Stefanescu; Calin Belta (IROS, 2010)

Optimal path planning under temporal logic constraints. - Stephen L. Smith 001; Jana Tumova; Calin Belta; Daniela Rus (IROS, 2010)

Formal Analysis of Discrete-Time Piecewise Affine Systems. - Boyan Yordanov; Calin Belta (IEEE Trans. Autom. Control., 2010)

An Automated Framework for Formal Verification of Timed Continuous Petri Nets. - Marius Kloetzer; Cristian Mahulea; Calin Belta; Manuel Silva Suárez (IEEE Trans. Ind. Informatics, 2010)

Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications. - Marius Kloetzer; Calin Belta (IEEE Trans. Robotics, 2010)

Control of Markov decision processes from PCTL specifications. - Morteza Lahijanian; Sean B. Andersson; Calin Belta (ACC, 2011)

Synthesis of distributed control and communication schemes from global LTL specifications. - Yushan Chen; Xu Chu Ding; Calin Belta (CDC/ECC, 2011)

Genetic regulatory network identification using multivariate monotone functions. - Nicholas Cooper; Calin Belta; A. Agung Julius (CDC/ECC, 2011)

MDP optimal control under temporal logic constraints. - Xu Chu Ding; Stephen L. Smith 001; Calin Belta; Daniela Rus (CDC/ECC, 2011)

Least squares temporal difference actor-critic methods with applications to robot motion control. - Reza Moazzez Estanjini; Xu Chu Ding; Morteza Lahijanian; Jing Wang 044; Calin Belta; Ioannis Ch. Paschalidis (CDC/ECC, 2011)

Multi-robot deployment from LTL specifications with reduced communication. - Marius Kloetzer; Xu Chu Ding; Calin Belta (CDC/ECC, 2011)

Integration of large-scale metabolic, signaling, and gene regulatory networks with application to infection responses. - Guilhem Richard; Hyeygjeon Chang; Igor Cizelj; Calin Belta; A. Agung Julius; Salomon Amar (CDC/ECC, 2011)

A formal verification approach to the design of synthetic gene networks. - Boyan Yordanov; Calin Belta (CDC/ECC, 2011)

An application of monotone functions decomposition to the reconstruction of gene regulatory networks. - Hyeygjeon Chang; Guilhem Richard; A. Agung Julius; Calin Belta; Salomon Amar (EMBC, 2011)

Automatic Generation of Balletic Motions. - Amy LaViers; Magnus Egerstedt; Yushan Chen; Calin Belta (ICCPS, 2011)

Temporal logic control in dynamic environments with probabilistic satisfaction guarantees. - Ana I. Medina Ayala; Sean B. Andersson; Calin Belta (IROS, 2011)

Optimal multi-robot path planning with Temporal Logic constraints. - Alphan Ulusoy; Stephen L. Smith 001; Xu Chu Ding; Calin Belta; Daniela Rus (IROS, 2011)

Probabilistically Safe Vehicle Control in a Hostile Environment - Igor Cizelj; Xu Chu Ding; Morteza Lahijanian; Alessandro Pinto; Calin Belta (CoRR, 2011)

LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees - Xu Chu Ding; Stephen L. Smith 001; Calin Belta; Daniela Rus (CoRR, 2011)

Optimal path planning for surveillance with temporal-logic constraints. - Stephen L. Smith 001; Jana Tumova; Calin Belta; Daniela Rus (Int. J. Robotics Res., 2011)

Automatic Deployment of Robotic Teams. - Xu Chu Ding; Marius Kloetzer; Yushan Chen; Calin Belta (IEEE Robotics Autom. Mag., 2011)

Automatic Sequencing of Ballet Poses. - Amy LaViers; Yushan Chen; Calin Belta; Magnus Egerstedt (IEEE Robotics Autom. Mag., 2011)

Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions. - Xu Chu Ding; Mircea Lazar; Calin Belta (ADHS, 2012)

Time-Constrained Temporal Logic Control of Multi-Affine Systems. - Ebru Aydin Gol; Calin Belta (ADHS, 2012)

Receding horizon temporal logic control for finite deterministic systems. - Xu Chu Ding; Mircea Lazar; Calin Belta (ACC, 2012)

Multi-agent persistent monitoring in stochastic environments with temporal logic constraints. - Yushan Chen; Kun Deng; Calin Belta (CDC, 2012)

Approximate Markovian abstractions for linear stochastic systems. - Morteza Lahijanian; Sean B. Andersson; Calin Belta (CDC, 2012)

Incremental control synthesis in probabilistic environments with Temporal Logic constraints. - Alphan Ulusoy; Tichakorn Wongpiromsarn; Calin Belta (CDC, 2012)

Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness through Synchronization. - Alphan Ulusoy; Stephen L. Smith 001; Calin Belta (DARS, 2012)

Experimentally driven verification of synthetic biological circuits. - Boyan Yordanov; Evan Appleton; Rishi Ganguly; Ebru Aydin Gol; Swati Banerjee Carr; Swapnil Bhatia; Traci Haddock; Calin Belta; Douglas Densmore (DATE, 2012)

Formal methods for dynamical systems. - Calin Belta (HSCC, 2012)

Language-guided controller synthesis for discrete-time linear systems. - Ebru Aydin Gol; Mircea Lazar; Calin Belta (HSCC, 2012)

Probabilistic control from time-bounded temporal logic specifications in dynamic environments. - Ana I. Medina Ayala; Sean B. Andersson; Calin Belta (ICRA, 2012)

LTL robot motion control based on automata learning of environmental dynamics. - Yushan Chen; Jana Tumova; Calin Belta (ICRA, 2012)

Robust multi-robot optimal path planning with temporal logic constraints. - Alphan Ulusoy; Stephen L. Smith 001; Xu Chu Ding; Calin Belta (ICRA, 2012)

Probabilistically safe control of noisy Dubins vehicles. - Igor Cizelj; Calin Belta (IROS, 2012)

Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents. - Tichakorn Wongpiromsarn; Alphan Ulusoy; Calin Belta; Emilio Frazzoli; Daniela Rus (IROS, 2012)

Temporal Logic Control of Discrete-Time Piecewise Affine Systems. - Boyan Yordanov; Jana Tumova; Ivana Cerna; Jiri Barnat; Calin Belta (IEEE Trans. Autom. Control., 2012)

Formal Approach to the Deployment of Distributed Robotic Teams. - Yushan Chen; Xu Chu Ding; Alin Stefanescu; Calin Belta (IEEE Trans. Robotics, 2012)

Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees. - Morteza Lahijanian; Sean B. Andersson; Calin Belta (IEEE Trans. Robotics, 2012)

Optimal receding horizon control for finite deterministic systems with temporal logic constraints. - María Svorenová; Ivana Cerná; Calin Belta (ACC, 2013)

Data-driven verification of synthetic gene networks. - Ebru Aydin Gol; Douglas Densmore; Calin Belta (CDC, 2013)

Distribution temporal logic: Combining correctness with quality of estimation. - Austin Jones; Mac Schwager; Calin Belta (CDC, 2013)

Optimizing regulation functions in gene network identification. - Guilhem Richard; A. Agung Julius; Calin Belta (CDC, 2013)

Optimal control of MDPs with temporal logic constraints. - María Svorenová; Ivana Cerna; Calin Belta (CDC, 2013)

A receding horizon algorithm for informative path planning with temporal logic constraints. - Austin Jones; Mac Schwager; Calin Belta (ICRA, 2013)

Temporal logic control for an autonomous quadrotor in a nondeterministic environment. - Alphan Ulusoy; Michael Marrazzo; Konstantinos Oikonomopoulos; Ryan Hunter; Calin Belta (ICRA, 2013)

Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications. - Tichakorn Wongpiromsarn; Alphan Ulusoy; Calin Belta; Emilio Frazzoli; Daniela Rus (ICRA, 2013)

Temporal logic motion planning in unknown environments. - Ana I. Medina Ayala; Sean B. Andersson; Calin Belta (IROS, 2013)

Negotiating the probabilistic satisfaction of temporal logic motion specifications. - Igor Cizelj; Calin Belta (IROS, 2013)

Sampling-based temporal logic path planning. - Cristian Ioan Vasile; Calin Belta (IROS, 2013)

Receding Horizon Control in Dynamic Environments from Temporal Logic Specifications. - Alphan Ulusoy; Michael Marrazzo; Calin Belta (Robotics: Science and Systems, 2013)

Formal analysis of piecewise affine systems through formula-guided refinement. - Boyan Yordanov; Jana Tumova; Ivana Cerná; Jiri Barnat; Calin Belta (Autom., 2013)

Technical Report: Distribution Temporal Logic: Combining Correctness with Quality of Estimation. - Austin Jones; Mac Schwager; Calin Belta (CoRR, 2013)

Technical Report: A Receding Horizon Algorithm for Informative Path Planning with Temporal Logic Constraints - Austin Jones; Mac Schwager; Calin Belta (CoRR, 2013)

Temporal logic robot control based on automata learning of environmental dynamics. - Yushan Chen; Jana Tumova; Alphan Ulusoy; Calin Belta (Int. J. Robotics Res., 2013)

Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints. - Alphan Ulusoy; Stephen L. Smith 001; Xu Chu Ding; Calin Belta; Daniela Rus (Int. J. Robotics Res., 2013)

An additive cost approach to optimal Temporal Logic control. - Ebru Aydin Gol; Calin Belta (ACC, 2014)

A formal methods approach to pattern synthesis in reaction diffusion systems. - Ebru Aydin Gol; Ezio Bartocci; Calin Belta (CDC, 2014)

Anomaly detection in cyber-physical systems: A formal methods approach. - Austin Jones; Zhaodan Kong; Calin Belta (CDC, 2014)

Temporal logic inference for classification and prediction from data. - Zhaodan Kong; Austin Jones; Ana Medina Ayala; Ebru Aydin Gol; Calin Belta (HSCC, 2014)

Reactive sampling-based temporal logic path planning. - Cristian Ioan Vasile; Calin Belta (ICRA, 2014)

Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints. - Kevin Leahy 001; Dingjiang Zhou; Cristian Ioan Vasile; Konstantinos Oikonomopoulos; Mac Schwager; Calin Belta (ISER, 2014)

An Automata-Theoretic Approach to the Vehicle Routing Problem. - Cristian Ioan Vasile; Calin Belta (Robotics: Science and Systems, 2014)

LTL receding horizon control for finite deterministic systems. - Xu Chu Ding; Mircea Lazar; Calin Belta (Autom., 2014)

Control of noisy differential-drive vehicles from time-bounded temporal logic specifications. - Igor Cizelj; Calin Belta (Int. J. Robotics Res., 2014)

Receding horizon temporal logic control in dynamic environments. - Alphan Ulusoy; Calin Belta (Int. J. Robotics Res., 2014)

Incremental controller synthesis in probabilistic environments with temporal logic constraints. - Alphan Ulusoy; Tichakorn Wongpiromsarn; Calin Belta (Int. J. Robotics Res., 2014)

Formal Synthesis of Control Policies for Continuous Time Markov Processes From Time-Bounded Temporal Logic Specifications. - Ana Medina Ayala; Sean B. Andersson; Calin Belta (IEEE Trans. Autom. Control., 2014)

Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints. - Xu Chu Ding; Stephen L. Smith 001; Calin Belta; Daniela Rus (IEEE Trans. Autom. Control., 2014)

Finite Bisimulations for Switched Linear Systems. - Ebru Aydin Gol; Xu Chu Ding; Mircea Lazar; Calin Belta (IEEE Trans. Autom. Control., 2014)

Language-Guided Controller Synthesis for Linear Systems. - Ebru Aydin Gol; Mircea Lazar; Calin Belta (IEEE Trans. Autom. Control., 2014)

Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements. - Zhe Xu 005; Calin Belta; Agung Julius (ADHS, 2015)

Robust temporal logic model predictive control. - Sadra Sadraddini; Calin Belta (Allerton, 2015)

Controlling a network of signalized intersections from temporal logical specifications. - Samuel Coogan 001; Ebru Aydin Gol; Murat Arcak; Calin Belta (ACC, 2015)

Information-guided persistent monitoring under temporal logic constraints. - Austin Jones; Mac Schwager; Calin Belta (ACC, 2015)

Correct-by-construction control synthesis for multi-robot mixing. - Yancy Diaz-Mercado; Austin Jones; Calin Belta; Magnus Egerstedt (CDC, 2015)

Distributed information gathering policies under temporal logic constraints. - Kevin Leahy 001; Austin Jones; Mac Schwager; Calin Belta (CDC, 2015)

Optimal motion planning with temporal logic and switching constraints. - Vladislav Nenchev; Calin Belta; Jörg Raisch (ECC, 2015)

SE(N) invariance in networked systems. - Cristian Ioan Vasile; Mac Schwager; Calin Belta (ECC, 2015)

SpaTeL: a novel spatial-temporal logic and its applications to networked systems. - Iman Haghighi; Austin Jones; Zhaodan Kong; Ezio Bartocci; Radu Grosu; Calin Belta (HSCC, 2015)

Enforcing temporal logic specifications via reinforcement learning. - Austin Jones; Derya Aksaray; Zhaodan Kong; Mac Schwager; Calin Belta (HSCC, 2015)

Temporal logic motion planning using POMDPs with parity objectives: case study paper. - María Svorenová; Martin Chmelik; Kevin Leahy 001; Hasan Ferit Eniser; Krishnendu Chatterjee; Ivana Cerná; Calin Belta (HSCC, 2015)

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. - María Svorenová; Jan Kretínský; Martin Chmelik; Krishnendu Chatterjee; Ivana Cerná; Calin Belta (HSCC, 2015)

Temporal logic model predictive control. - Ebru Aydin Gol; Mircea Lazar; Calin Belta (Autom., 2015)

Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning. - Austin Jones; Derya Aksaray; Zhaodan Kong; Mac Schwager; Calin Belta (CoRR, 2015)

Control with Probabilistic Signal Temporal Logic. - Chanyeol Yoo; Calin Belta (CoRR, 2015)

Temporal logic motion control using actor-critic methods. - Jing Wang 044; Xu Chu Ding; Morteza Lahijanian; Ioannis Ch. Paschalidis; Calin Belta (Int. J. Robotics Res., 2015)

Formal Verification and Synthesis for Discrete-Time Stochastic Systems. - Morteza Lahijanian; Sean B. Andersson; Calin Belta (IEEE Trans. Autom. Control., 2015)

Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties. - María Svorenová; Ivana Cerna; Calin Belta (IEEE Trans. Autom. Control., 2015)

Finite state abstraction and formal methods for traffic flow networks. - Samuel Coogan 001; Murat Arcak; Calin Belta (ACC, 2016)

Integration of deterministic inference with formal synthesis for control under uncertainty. - Kevin J. Leahy; Prasanna Kannappan; Adam Jardine; Herbert G. Tanner; Jeffrey Heinz; Calin Belta (ACC, 2016)

Model predictive control of urban traffic networks with temporal logic constraints. - Sadra Sadraddini; Calin Belta (ACC, 2016)

A provably correct MPC approach to safety control of urban traffic networks. - Sadra Sadraddini; Calin Belta (ACC, 2016)

Q-Learning for robust satisfaction of signal temporal logic specifications. - Derya Aksaray; Austin Jones; Zhaodan Kong; Mac Schwager; Calin Belta (CDC, 2016)

Formal synthesis of control strategies for dynamical systems. - Calin Belta (CDC, 2016)

Pattern synthesis in a 3D agent-based model of stem cell differentiation. - Demarcus Briers; Iman Haghighi; Douglas E. White; Melissa L. Kemp; Calin Belta (CDC, 2016)

Robotic swarm control from spatio-temporal specifications. - Iman Haghighi; Sadra Sadraddini; Calin Belta (CDC, 2016)

Safety control of monotone systems with bounded uncertainties. - Sadra Sadraddini; Calin Belta (CDC, 2016)

Feasibility envelopes for metric temporal logic specifications. - Sadra Sadraddini; Calin Belta (CDC, 2016)

Control in belief space with Temporal Logic specifications. - Cristian Ioan Vasile; Kevin Leahy 001; Eric Cristofalo; Austin Jones; Mac Schwager; Calin Belta (CDC, 2016)

Receding horizon robot control in partially unknown environments with temporal logic constraints. - Vladislav Nenchev; Calin Belta (ECC, 2016)

A Decision Tree Approach to Data Classification using Signal Temporal Logic. - Giuseppe Bombara; Cristian Ioan Vasile; Francisco Penedo; Hirotoshi Yasuoka; Calin Belta (HSCC, 2016)

Least-Violating Planning in Road Networks from Temporal Logic Specifications. - Jana Tumova; Sertac Karaman; Calin Belta; Daniela Rus (ICCPS, 2016)

Dynamic routing of energy-aware vehicles with Temporal Logic Constraints. - Derya Aksaray; Cristian Ioan Vasile; Calin Belta (ICRA, 2016)

Localization of a Ground Robot by Aerial Robots for GPS-Deprived Control with Temporal Logic Constraints. - Eric Cristofalo; Kevin Leahy 001; Cristian Ioan Vasile; Eduardo Montijano; Mac Schwager; Calin Belta (ISER, 2016)

Language-Guided Sampling-based Planning using Temporal Relaxation. - Francisco Penedo; Cristian Ioan Vasile; Calin Belta (WAFR, 2016)

Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints. - Kevin Leahy 001; Dingjiang Zhou; Cristian Ioan Vasile; Konstantinos Oikonomopoulos; Mac Schwager; Calin Belta (Auton. Robots, 2016)

A Hierarchical Reinforcement Learning Method for Persistent Time-Sensitive Tasks. - Xiao Li 013; Calin Belta (CoRR, 2016)

Traffic Network Control From Temporal Logic Specifications. - Samuel Coogan 001; Ebru Aydin Gol; Murat Arcak; Calin Belta (IEEE Trans. Control. Netw. Syst., 2016)

Semi-supervised pattern synthesis in spatially distributed dynamical systems. - Iman Haghighi; Kevin Leahy 001; Rachael Ivison; Calin Belta (ACC, 2017)

Informative path planning under temporal logic constraints with performance guarantees. - Kevin J. Leahy; Derya Aksaray; Calin Belta (ACC, 2017)

Distributed control policies for localization of large disturbances in urban traffic networks. - Sivaranjani S.; Sadra Sadraddini; Vijay Gupta 001; Calin Belta (ACC, 2017)

Dynamic contracts for distributed temporal logic control of traffic networks. - Eric S. Kim; Sadra Sadraddini; Calin Belta; Murat Arcak; Sanjit A. Seshia (CDC, 2017)

Formal methods for adaptive control of dynamical systems. - Sadra Sadraddini; Calin Belta (CDC, 2017)

Grid-based temporal logic inference. - Prashant Vaidyanathan; Rachael Ivison; Giuseppe Bombara; Nicholas A. DeLateur; Ron Weiss; Douglas Densmore; Calin Belta (CDC, 2017)

Formal synthesis of distributed optimal traffic control policies. - Sadra Sadraddini; János Rudan; Calin Belta (ICCPS, 2017)

Minimum-violation scLTL motion planning for mobility-on-demand. - Cristian Ioan Vasile; Jana Tumova; Sertac Karaman; Calin Belta; Daniela Rus (ICRA, 2017)

Reinforcement learning with temporal logic rewards. - Xiao Li 013; Cristian Ioan Vasile; Calin Belta (IROS, 2017)

Rich Time Series Classification Using Temporal Logic. - Chanyeol Yoo; Calin Belta (Robotics: Science and Systems, 2017)

Signal Clustering Using Temporal Logics. - Giuseppe Bombara; Calin Belta (RV, 2017)

Automata Guided Hierarchical Reinforcement Learning for Zero-shot Skill Composition. - Xiao Li 013; Yao Ma; Calin Belta (CoRR, 2017)

Provably Safe Cruise Control of Vehicular Platoons. - Sadra Sadraddini; Sivaranjani S.; Vijay Gupta 001; Calin Belta (IEEE Control. Syst. Lett., 2017)

Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201). - Calin Belta; Rupak Majumdar; Majid Zamani 001; Matthias Rungger (Dagstuhl Reports, 2017)

An Approximate Dynamic Programming Approach to Multiagent Persistent Monitoring in Stochastic Environments With Temporal Logic Constraints. - Kun Deng; Yushan Chen; Calin Belta (IEEE Trans. Autom. Control., 2017)

Temporal Logics for Learning and Detection of Anomalous Behavior. - Zhaodan Kong; Austin Jones; Calin Belta (IEEE Trans. Autom. Control., 2017)

Time window temporal logic. - Cristian Ioan Vasile; Derya Aksaray; Calin Belta (Theor. Comput. Sci., 2017)

A Policy Search Method For Temporal Logic Specified Reinforcement Learning Tasks. - Xiao Li 013; Yao Ma; Calin Belta (ACC, 2018)

Distributed Robust Set-Invariance for Interconnected Linear Systems. - Sadra Sadraddini; Calin Belta (ACC, 2018)

Metrics for Signal Temporal Logic Formulae. - Curtis Madsen; Prashant Vaidyanathan; Sadra Sadraddini; Cristian Ioan Vasile; Nicholas A. DeLateur; Ron Weiss; Douglas Densmore; Calin Belta (CDC, 2018)

Spatial-Temporal pattern Synthesis in a Network of Locally Interacting Cells. - Noushin Mehdipour; Demarcus Briers; Iman Haghighi; Chad M. Glen; Melissa L. Kemp; Calin Belta (CDC, 2018)

Control Synthesis for Partial Differential Equations from Spatio-Temporal Specifications. - Francisco Penedo; Harold S. Park; Calin Belta (CDC, 2018)

Online Learning of Temporal Logic Formulae for Signal Classification. - Giuseppe Bombara; Calin Belta (ECC, 2018)

Formal Guarantees in Data-Driven Model Identification and Control Synthesis. - Sadra Sadraddini; Calin Belta (HSCC, 2018)

Distributed Sensing Subject to Temporal Logic Constraints. - Zachary T. Serlin; Kevin Leahy 001; Roberto Tron; Calin Belta (IROS, 2018)

Consistent Multi-robot Object Matching via QuickMatch. - Zachary Serlin; Brandon Sookraj; Calin Belta; Roberto Tron (ISER, 2018)

Automata Guided Reinforcement Learning With Demonstrations. - Xiao Li 013; Yao Ma; Calin Belta (CoRR, 2018)

A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks. - Ezio Bartocci; Ebru Aydin Gol; Iman Haghighi; Calin Belta (IEEE Trans. Control. Netw. Syst., 2018)

Translational and Rotational Invariance in Networked Dynamical Systems. - Cristian Ioan Vasile; Mac Schwager; Calin Belta (IEEE Trans. Control. Netw. Syst., 2018)

Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications. - Noushin Mehdipour; Cristian Ioan Vasile; Calin Belta (ACC, 2019)

Retroactivity Affects the Adaptive Robustness of Transcriptional Regulatory Networks. - Junmin Wang; Calin Belta (ACC, 2019)

Self-triggered Control for Safety Critical Systems Using Control Barrier Functions. - Guang Yang 018; Calin Belta; Roberto Tron (ACC, 2019)

Compositional Synthesis of Decentralized Robust Set-Invariance Controllers for Large-scale Linear Systems. - Kasra Ghasemi; Sadra Sadraddini; Calin Belta (CDC, 2019)

Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics. - Iman Haghighi; Noushin Mehdipour; Ezio Bartocci; Calin Belta (CDC, 2019)

Average-based Robustness for Continuous-Time Signal Temporal Logic. - Noushin Mehdipour; Cristian Ioan Vasile; Calin Belta (CDC, 2019)

Control Barrier Functions for Systems with High Relative Degree. - Wei Xiao 003; Calin Belta (CDC, 2019)

Decentralized merging control in traffic networks: a control barrier function approach. - Wei Xiao 003; Calin Belta; Christos G. Cassandras (ICCPS, 2019)

ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications. - Austin M. Jones; Kevin Leahy 001; Cristian Ioan Vasile; Sadra Sadraddini; Zachary Serlin; Roberto Tron; Calin Belta (ISRR, 2019)

Decentralized Merging Control in Traffic Networks with Noisy Vehicle Dynamics: a Joint Optimal Control and Barrier Function Approach. - Wei Xiao 003; Christos G. Cassandras; Calin Belta (ITSC, 2019)

Reactive Control Meets Runtime Verification: A Case Study of Navigation. - Dogan Ulus; Calin Belta (RV, 2019)

Formal Methods for Control Synthesis: An Optimization Perspective. - Calin Belta; Sadra Sadraddini (Annu. Rev. Control. Robotics Auton. Syst., 2019)

Continuous-time Signal Temporal Logic Planning with Control Barrier Function. - Guang Yang 018; Roberto Tron; Calin Belta (CoRR, 2019)

Temporal Logic Guided Safe Reinforcement Learning Using Control Barrier Functions. - Xiao Li 013; Calin Belta (CoRR, 2019)

Sampling-based Motion Planning via Control Barrier Functions. - Guang Yang 018; Bee Vang; Zachary Serlin; Calin Belta; Roberto Tron (CoRR, 2019)

Feasibility-Guided Learning for Robust Control in Constrained Optimal Control Problems. - Wei Xiao 003; Calin A. Belta; Christos G. Cassandras (CoRR, 2019)

Control in belief space with temporal logic specifications using vision-based localization. - Kevin Leahy 001; Eric Cristofalo; Cristian Ioan Vasile; Austin Jones; Eduardo Montijano; Mac Schwager; Calin Belta (Int. J. Robotics Res., 2019)

A formal methods approach to interpretable reinforcement learning for robotic planning. - Xiao Li 013; Zachary Serlin; Guang Yang 018; Calin Belta (Sci. Robotics, 2019)

Formal Synthesis of Control Strategies for Positive Monotone Systems. - Sadra Sadraddini; Calin Belta (IEEE Trans. Autom. Control., 2019)

Continuous-time Signal Temporal Logic Planning with Control Barrier Functions. - Guang Yang 018; Calin Belta; Roberto Tron (ACC, 2020)

Automata Guided Semi-Decentralized Multi-Agent Reinforcement Learning. - Chuangchuang Sun; Xiao Li 013; Calin Belta (ACC, 2020)

Approximate Optimal Control for Safety-Critical Systems with Control Barrier Functions. - Max H. Cohen; Calin Belta (CDC, 2020)

Feasibility-Guided Learning for Constrained Optimal Control Problems. - Wei Xiao 003; Calin A. Belta; Christos G. Cassandras (CDC, 2020)

Compositional synthesis via a convex parameterization of assume-guarantee contracts. - Kasra Ghasemi; Sadra Sadraddini; Calin Belta (HSCC, 2020)

Decentralized Optimal Control in Multi-lane Merging for Connected and Automated Vehicles. - Wei Xiao 003; Christos G. Cassandras; Calin Belta (ITSC, 2020)

Adaptive Control Barrier Functions for Safety-Critical Systems. - Wei Xiao 003; Calin Belta; Christos G. Cassandras (CoRR, 2020)

Non-uniform Sampled Motion Planning for Continuous-time STL. - Guang Yang 018; Calin Belta; Roberto Tron (CoRR, 2020)

Distributed and consistent multi-image feature matching via QuickMatch. - Zachary Serlin; Guang Yang 018; Brandon Sookraj; Calin Belta; Roberto Tron (Int. J. Robotics Res., 2020)

Reactive sampling-based path planning with temporal logic specifications. - Cristian Ioan Vasile; Xiao Li 013; Calin Belta (Int. J. Robotics Res., 2020)

A Control Architecture for Provably-Correct Autonomous Driving. - Erfan Aasi; Cristian Ioan Vasile; Calin Belta (ACC, 2021)

High Order Control Lyapunov-Barrier Functions for Temporal Logic Specifications. - Wei Xiao 003; Calin A. Belta; Christos G. Cassandras (ACC, 2021)

Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications. - Suhail Alsalehi; Noushin Mehdipour; Ezio Bartocci; Calin Belta (CDC, 2021)

Event-Triggered Safety-Critical Control for Systems with Unknown Dynamics. - Wei Xiao 003; Calin Belta; Christos G. Cassandras (CDC, 2021)

Model-based reinforcement learning for approximate optimal control with temporal logic specifications. - Max H. Cohen; Calin Belta (HSCC, 2021)

Rule-based optimal control for autonomous driving. - Wei Xiao 003; Noushin Mehdipour; Anne Collin; Amitai Bin-Nun; Emilio Frazzoli; Radboud J. Duintjer Tebbens; Calin Belta (ICCPS, 2021)

The Reasonable Crowd: Towards evidence-based and interpretable models of driving behavior. - Bassam Helou; Aditya Dusi; Anne Collin; Noushin Mehdipour; Zhiliang Chen; Cristhian Lizarazo; Calin Belta; Tichakorn Wongpiromsarn; Radboud J. Duintjer Tebbens; Oscar Beijbom (IROS, 2021)

Bridging the gap between optimal trajectory planning and safety-critical control with applications to autonomous vehicles. - Wei Xiao 003; Christos G. Cassandras; Calin A. Belta (Autom., 2021)

Experimental Validation of Linear and Nonlinear MPC on an Articulated Unmanned Ground Vehicle. - Erkan Kayacan; Wouter Saeys; Herman Ramon; Calin Belta; Joshua M. Peschel (CoRR, 2021)

Model-Based Safe Policy Search from Signal Temporal Logic Specifications Using Recurrent Neural Networks. - Wenliang Liu 001; Calin Belta (CoRR, 2021)

Inferring Temporal Logic Properties from Data using Boosted Decision Trees. - Erfan Aasi; Cristian Ioan Vasile; Mahroo Bahreinian; Calin Belta (CoRR, 2021)

Rule-based Evaluation and Optimal Control for Autonomous Driving. - Wei Xiao 003; Noushin Mehdipour; Anne Collin; Amitai Y. Bin-Nun; Emilio Frazzoli; Radboud J. Duintjer Tebbens; Calin Belta (CoRR, 2021)

Time-Incremental Learning from Data Using Temporal Logics. - Erfan Aasi; Mingyu Cai; Cristian Ioan Vasile; Calin Belta (CoRR, 2021)

Specifying User Preferences Using Weighted Signal Temporal Logic. - Noushin Mehdipour; Cristian Ioan Vasile; Calin Belta (IEEE Control. Syst. Lett., 2021)

Safety-Critical Optimal Control for Autonomous Systems. - Wei Xiao 003; Christos G. Cassandras; Calin Belta (J. Syst. Sci. Complex., 2021)

Offline and Online Learning of Signal Temporal Logic Formulae Using Decision Trees. - Giuseppe Bombara; Calin Belta (ACM Trans. Cyber Phys. Syst., 2021)

High Order Robust Adaptive Control Barrier Functions and Exponentially Stabilizing Adaptive Control Lyapunov Functions. - Max H. Cohen; Calin Belta (ACC, 2022)

Control Barrier Functions for Systems with Multiple Control Inputs. - Wei Xiao 003; Christos G. Cassandras; Calin A. Belta; Daniela Rus (ACC, 2022)

Adaptive Sampling-based Motion Planning with Control Barrier Functions. - Ahmad Ahmad; Calin Belta; Roberto Tron (CDC, 2022)

Robust Control Barrier Functions for Nonlinear Control Systems with Uncertainty: A Duality-based Approach. - Max H. Cohen; Calin Belta; Roberto Tron (CDC, 2022)

Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization. - Kasra Ghasemi; Sadra Sadraddini; Calin Belta (CDC, 2022)

Classification of Time-Series Data Using Boosted Decision Trees. - Erfan Aasi; Cristian Ioan Vasile; Mahroo Bahreinian; Calin Belta (IROS, 2022)

Learning Spatio-Temporal Specifications for Dynamical Systems. - Suhail Alsalehi; Erfan Aasi; Ron Weiss; Calin Belta (L4DC, 2022)

Distributed Control using Reinforcement Learning with Temporal-Logic-Based Reward Shaping. - Ningyuan Zhang; Wenliang Liu 001; Calin Belta (L4DC, 2022)

Sufficient conditions for feasibility of optimal control problems using Control Barrier Functions. - Wei Xiao 003; Calin A. Belta; Christos G. Cassandras (Autom., 2022)

Overcoming Exploration: Deep Reinforcement Learning in Complex Environments from Temporal Logic Specifications. - Mingyu Cai; Erfan Aasi; Calin Belta; Cristian-Ioan Vasile (CoRR, 2022)

Learning for Control of Rolling ubots. - Logan E. Beaver; Max Sokolich; Suhail Alsalehi; Ron Weiss; Sambeeta Das; Calin Belta (CoRR, 2022)

Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints. - Wenliang Liu 001; Noushin Mehdipour; Calin Belta (IEEE Control. Syst. Lett., 2022)

High-Order Control Barrier Functions. - Wei Xiao 003; Calin Belta (IEEE Trans. Autom. Control., 2022)

Adaptive Control Barrier Functions. - Wei Xiao 003; Calin Belta; Christos G. Cassandras (IEEE Trans. Autom. Control., 2022)

Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS). - Kevin Leahy 001; Zachary Serlin; Cristian-Ioan Vasile; Andrew Schoer; Austin M. Jones; Roberto Tron; Calin Belta (IEEE Trans. Robotics, 2022)

Modular Adaptive Safety-Critical Control. - Max H. Cohen; Calin Belta (ACC, 2023)

Robust Filtering based on Complex Cell Networks from the Visual Cortex. - Mehdi Kermanshah; Nguyen Nguyen; Calin Belta; Roberto Tron (ACC, 2023)

Robust Multi-Agent Coordination from CaTL+ Specifications. - Wenliang Liu 001; Kevin Leahy 001; Zachary Serlin; Calin Belta (ACC, 2023)

Iterative Convex Optimization for Model Predictive Control with Discrete-Time High-Order Control Barrier Functions. - Shuo Liu; Jun Zeng 002; Koushil Sreenath; Calin A. Belta (ACC, 2023)

Robustness Measures and Monitors for Time Window Temporal Logic. - Ahmad Ahmad; Cristian-Ioan Vasile; Roberto Tron; Calin Belta (CDC, 2023)

Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet. - Wenliang Liu 001; Wei Xiao 003; Calin Belta (CDC, 2023)

Auxiliary- Variable Adaptive Control Barrier Functions for Safety Critical Systems. - Shuo Liu; Wei Xiao 003; Calin A. Belta (CDC, 2023)

Learning Feasibility Constraints for Control Barrier Functions. - Wei Xiao 003; Christos G. Cassandras; Calin A. Belta (ECC, 2023)

Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks. - Wenliang Liu 001; Mirai Nishioka; Calin Belta (ICRA, 2023)

Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees. - Erfan Aasi; Mingyu Cai; Cristian Ioan Vasile; Calin Belta (L4DC, 2023)

CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications. - Wenliang Liu 001; Kevin Leahy 001; Zachary Serlin; Calin Belta (L4DC, 2023)

Safe exploration in model-based reinforcement learning using control barrier functions. - Max H. Cohen; Calin Belta (Autom., 2023)

Auxiliary-Adaptive Control Barrier Functions for Safety Critical Systems. - Shuo Liu; Wei Xiao 003; Calin A. Belta (CoRR, 2023)

Efficient LQR-CBF-RRT*: Safe and Optimal Motion Planning. - Guang Yang 018; Mingyu Cai; Ahmad Ahmad; Calin Belta; Roberto Tron (CoRR, 2023)

Control-Based Planning over Probability Mass Function Measurements via Robust Linear Programming. - Mehdi Kermanshah; Calin Belta; Roberto Tron (CoRR, 2023)

Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments From Temporal Logic Specifications. - Mingyu Cai; Erfan Aasi; Calin Belta; Cristian-Ioan Vasile (IEEE Robotics Autom. Lett., 2023)

Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges. - Noushin Mehdipour; Matthias Althoff; Radboud J. Duintjer Tebbens; Calin Belta (Autom., 2023)

Event-Triggered Control for Safety-Critical Systems With Unknown Dynamics. - Wei Xiao 003; Calin Belta; Christos G. Cassandras (IEEE Trans. Autom. Control., 2023)

Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control. - Max H. Cohen; Makai Mann; Kevin Leahy 001; Calin Belta (ACC, 2024)

LP-Planning: Linear Control-Based Planning Using Probability Mass Function Measurements. - Mehdi Kermanshah; Calin Belta; Roberto Tron (ACC, 2024)

Capability Augmentation for Heterogeneous Dynamic Teaming with Temporal Logic Tasks. - Carter Berlind; Wenliang Liu 001; Alyssa Pierson; Calin Belta (CDC, 2024)

Feasibility-Guaranteed Safety-Critical Control with Applications to Heterogeneous Platoons. - Shuo Liu; Wei Xiao 003; Calin Belta (CDC, 2024)

Auxiliary-Variable Adaptive Control Lyapunov Barrier Functions for Spatio-Temporally Constrained Safety-Critical Applications. - Shuo Liu; Wei Xiao 003; Calin A. Belta (CDC, 2024)

Toward model-free safety-critical control with humans in the loop. - Wei Xiao 003; Anni Li; Christos G. Cassandras; Calin Belta (Annu. Rev. Control., 2024)

Compositional synthesis for linear systems via convex optimization of assume-guarantee contracts. - Kasra Ghasemi; Sadra Sadraddini; Calin Belta (Autom., 2024)

Interpretable Generative Adversarial Imitation Learning. - Wenliang Liu 001; Danyang Li; Erfan Aasi; Roberto Tron; Calin Belta (CoRR, 2024)

Control of Microrobots Using Model Predictive Control and Gaussian Processes for Disturbance Estimation. - Mehdi Kermanshah; Logan E. Beaver; Max Sokolich; Sambeeta Das; Ron Weiss; Roberto Tron; Calin Belta (CoRR, 2024)

Iterative Convex Optimization for Safety-Critical Model Predictive Control. - Shuo Liu; Zhe Huang; Jun Zeng 002; Koushil Sreenath; Calin A. Belta (CoRR, 2024)

Learning a Tracking Controller for Rolling $ mu$bots. - Logan E. Beaver; Max Sokolich; Suhail Alsalehi; Ron Weiss; Sambeeta Das; Calin Belta (IEEE Robotics Autom. Lett., 2024)

Cooperative Driving of Connected Autonomous vehicle using Responsibility Sensitive Safety Rules: A Control Barrier Functions Approach. - Mohammad Khayatian; Mohammadreza Mehrabian; I-Ching Tseng; Chung-Wei Lin; Calin Belta; Aviral Shrivastava (ACM Trans. Cyber Phys. Syst., 2024)

Safety-Critical Planning and Control for Dynamic Obstacle Avoidance Using Control Barrier Functions. - Shuo Liu; Yihui Mao; Calin A. Belta (ACC, 2025)

LQR-CBF-RRT*: Safe and Optimal Motion Planning. - Guang Yang 018; Mingyu Cai; Ahmad Ahmad; Amanda Prorok; Roberto Tron; Calin Belta (ACC, 2025)

BT2Automata: Expressing Behavior Trees as Automata for Formal Control Synthesis. - Ryan Matheu; Aniruddh Gopinath Puranic; John S. Baras; Calin Belta (HSCC, 2025)

Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards. - Ahmad Ahmad; Mehdi Kermanshah; Kevin Leahy 001; Zachary Serlin; Ho Chit Siu; Makai Mann; Cristian-Ioan Vasile; Roberto Tron; Calin Belta (L4DC, 2025)

Learning Biomolecular Models using Signal Temporal Logic. - Hanna Krasowski; Eric Palanques-Tost; Calin Belta; Murat Arcak (L4DC, 2025)

Interpretable Imitation Learning via Generative Adversarial STL Inference and Control. - Wenliang Liu 001; Danyang Li; Erfan Aasi; Daniela Rus; Roberto Tron; Calin Belta (NeuS, 2025)

Optimal On-the-Fly Route Planning With Rich Transportation Requests. - Cristian-Ioan Vasile; Jana Tumova; Sertac Karaman; Calin Belta; Daniela Rus (IEEE Trans. Robotics, 2025)

A Two-Level Control Algorithm for Autonomous Driving in Urban Environments. - Erfan Aasi; Mingyu Cai; Cristian-Ioan Vasile; Calin Belta (IEEE Trans. Intell. Transp. Syst., 2025)

Auxiliary-Variable Adaptive Control Barrier Functions. - Shuo Liu; Wei Xiao 003; Calin A. Belta (CoRR, 2025)

Ensuring Safe and Smooth Control in Safety-Critical Systems via Filtered Control Barrier Functions. - Shuo Liu; Wei Xiao 003; Calin A. Belta (CoRR, 2025)

Generalized Mean Robustness for Signal Temporal Logic. - Noushin Mehdipour; Cristian-Ioan Vasile; Calin Belta (IEEE Trans. Autom. Control., 2025)

Control Barrier Functions via Minkowski Operations for Safe Navigation among Polytopic Sets. - Yi-Hsuan Chen; Shuo Liu; Wei Xiao 003; Calin Belta; Michael Otte (CoRR, 2025)

Accelerated Learning with Linear Temporal Logic using Differentiable Simulation. - Alper Kamil Bozkurt; Calin Belta; Ming C. Lin (CoRR, 2025)

Safety-Aware Reinforcement Learning for Control via Risk-Sensitive Action-Value Iteration and Quantile Regression. - Clinton Enwerem; Aniruddh Gopinath Puranic; John S. Baras; Calin Belta (CoRR, 2025)

SPLASH! Sample-efficient Preference-based inverse reinforcement learning for Long-horizon Adversarial tasks from Suboptimal Hierarchical demonstrations. - Peter Crowley; Zachary Serlin; Tyler M. Paine; Makai Mann; Michael Benjamin; Calin Belta (CoRR, 2025)

Quantifying the Satisfaction of Spatio-Temporal Logic Specifications for Multiagent Control. - Wenliang Liu 001; Suhail Alsalehi; Noushin Mehdipour; Ezio Bartocci; Calin Belta (IEEE Trans. Autom. Control., 2025)