Calin A. Belta
#147,489
Most Influential Person Now
Calin A. Belta's AcademicInfluence.com Rankings
Calin A. Beltaengineering Degrees
Engineering
#5823
World Rank
#7102
Historical Rank
Robotics
#130
World Rank
#132
Historical Rank
Applied Physics
#1765
World Rank
#1797
Historical Rank
Download Badge
Engineering
Calin A. Belta's Degrees
- PhD Electrical and Computer Engineering University of California, Berkeley
- Masters Electrical and Computer Engineering University of California, Berkeley
- Bachelors Electrical Engineering University of Craiova
Why Is Calin A. Belta Influential?
(Suggest an Edit or Addition)Calin A. Belta's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications (2008) (514)
- Symbolic planning and control of robot motion [Grand Challenges of Robotics] (2007) (378)
- Abstraction and control for Groups of robots (2004) (360)
- Discrete abstractions for robot motion planning and control in polygonal environments (2005) (260)
- Formal Methods for Discrete-Time Dynamical Systems (2017) (228)
- Hybrid Modeling and Simulation of Biomolecular Networks (2001) (214)
- Controlling a Class of Nonlinear Systems on Rectangles (2006) (211)
- Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications (2010) (181)
- Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints (2013) (174)
- Optimal path planning for surveillance with temporal-logic constraints* (2011) (172)
- Robustness analysis and tuning of synthetic gene networks (2007) (147)
- Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints (2014) (146)
- Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees (2012) (138)
- Control Barrier Functions for Systems with High Relative Degree (2019) (134)
- Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions (2007) (129)
- Formal Approach to the Deployment of Distributed Robotic Teams (2012) (125)
- Reinforcement learning with temporal logic rewards (2016) (123)
- A Decision Tree Approach to Data Classification using Signal Temporal Logic (2016) (110)
- Temporal logic inference for classification and prediction from data (2014) (108)
- Q-Learning for robust satisfaction of signal temporal logic specifications (2016) (104)
- Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees (2010) (102)
- SpaTeL: a novel spatial-temporal logic and its applications to networked systems (2015) (99)
- Robust temporal logic model predictive control (2015) (94)
- An SVD-based projection method for interpolation on SE(3) (2002) (91)
- Anomaly detection in cyber-physical systems: A formal methods approach (2014) (90)
- Temporal Logic Control of Discrete-Time Piecewise Affine Systems (2012) (89)
- Formal Verification and Synthesis for Discrete-Time Stochastic Systems (2015) (89)
- Trajectory design for formations of robots by kinetic energy shaping (2002) (89)
- LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees (2011) (86)
- Temporal Logics for Learning and Detection of Anomalous Behavior (2017) (86)
- Reachability analysis of multi-affine systems (2006) (81)
- MDP optimal control under temporal logic constraints (2011) (78)
- Automatic Deployment of Robotic Teams (2011) (77)
- A Fully Automated Framework for Control of Linear Systems from LTL Specifications (2006) (75)
- Sampling-based temporal logic path planning (2013) (74)
- Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty (2008) (74)
- Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks (2002) (69)
- Model Checking Genetic Regulatory Networks with Parameter Uncertainty (2007) (64)
- Traffic Network Control From Temporal Logic Specifications (2014) (63)
- LTL receding horizon control for finite deterministic systems (2014) (61)
- Robust multi-robot optimal path planning with temporal logic constraints (2012) (59)
- Euclidean metrics for motion generation on SE(3) (2002) (57)
- Optimal Motion Generation for Groups of Robots: A Geometric Approach (2004) (57)
- Motion generation for formations of robots: A geometric approach (2001) (56)
- A formal methods approach to interpretable reinforcement learning for robotic planning (2019) (55)
- Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications (2019) (55)
- Multi-robot deployment from LTL specifications with reduced communication (2011) (54)
- Optimal path planning under temporal logic constraints (2010) (53)
- LTL robot motion control based on automata learning of environmental dynamics (2012) (53)
- Constructing decidable hybrid systems with velocity bounds (2004) (53)
- Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri (2001) (53)
- Formal Analysis of Discrete-Time Piecewise Affine Systems (2010) (53)
- Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints (2016) (52)
- Minimum-violation scLTL motion planning for mobility-on-demand (2017) (49)
- A probabilistic approach for control of a stochastic system from LTL specifications (2009) (48)
- Dealing with Nondeterminism in Symbolic Control (2008) (48)
- On controlling aircraft formations (2001) (47)
- Investigating metabolite essentiality through genome-scale analysis of Escherichia coli production capabilities (2005) (47)
- Optimal control of MDPs with temporal logic constraints (2013) (47)
- Experimental Validation of Linear and Nonlinear MPC on an Articulated Unmanned Ground Vehicle (2018) (47)
- Modeling and analyzing biomolecular networks (2002) (47)
- A Policy Search Method For Temporal Logic Specified Reinforcement Learning Tasks (2017) (46)
- Systematic analysis of conservation relations in Escherichia coli genome-scale metabolic network reveals novel growth media. (2006) (46)
- Controlling three dimensional swarms of robots (2006) (45)
- Hierarchical abstractions for robotic swarms (2006) (44)
- Incremental controller synthesis in probabilistic environments with temporal logic constraints (2012) (43)
- Exploiting the pathway structure of metabolism to reveal high-order epistasis (2008) (43)
- Analysis of lactose metabolism in E. Coli using reachability analysis of hybrid systems. (2007) (42)
- Formal Methods for Control Synthesis: An Optimization Perspective (2019) (42)
- Temporal logic control of discrete-time piecewise affine systems (2009) (42)
- A formal methods approach to pattern synthesis in reaction diffusion systems (2014) (41)
- Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics (2019) (40)
- High-Order Control Barrier Functions (2021) (40)
- An Automated Framework for Formal Verification of Timed Continuous Petri Nets (2010) (40)
- Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems (2004) (39)
- Formal Guarantees in Data-Driven Model Identification and Control Synthesis (2018) (38)
- Symbolic Planning and Control of Robot Motion: State of the Art and Grand Challenges (2007) (38)
- Language-Guided Controller Synthesis for Linear Systems (2014) (37)
- Temporal logic motion control using actor–critic methods (2012) (36)
- Optimal multi-robot path planning with temporal logic constraints (2011) (36)
- Control in belief space with temporal logic specifications using vision-based localization (2016) (36)
- Adaptive Control Barrier Functions (2021) (36)
- Distributed Multi-Agent Persistent Surveillance Under Temporal Logic Constraints∗ (2015) (35)
- Automatic Sequencing of Ballet Poses (2011) (35)
- Decentralized merging control in traffic networks: a control barrier function approach (2019) (35)
- Finite bisimulations for switched linear systems (2012) (34)
- Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications (2013) (34)
- Self-triggered Control for Safety Critical Systems Using Control Barrier Functions (2019) (33)
- LTL Planning for Groups of Robots (2006) (33)
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (2014) (32)
- A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks (2018) (32)
- Time window temporal logic (2016) (32)
- A symbolic approach to controlling piecewise affine systems (2010) (32)
- Approximate Optimal Control for Safety-Critical Systems with Control Barrier Functions (2020) (32)
- Temporal logic motion planning using POMDPs with parity objectives: case study paper (2015) (32)
- Automated Design of Pluripotent Stem Cell Self-Organization. (2019) (31)
- Language-guided controller synthesis for discrete-time linear systems (2012) (31)
- Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness Through Synchronization (2012) (31)
- Formal analysis of piecewise affine systems through formula-guided refinement (2010) (31)
- Synthesis of distributed control and communication schemes from global LTL specifications (2011) (30)
- A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment (2010) (30)
- Control of Markov decision processes from PCTL specifications (2011) (29)
- Reactive sampling-based temporal logic path planning (2014) (29)
- Receding horizon temporal logic control in dynamic environments (2014) (29)
- Receding horizon surveillance with temporal logic specifications (2010) (28)
- Dynamic routing of energy-aware vehicles with Temporal Logic Constraints (2016) (28)
- Model Checking Liveness Properties of Genetic Regulatory Networks (2007) (27)
- Temporal Logic Guided Safe Reinforcement Learning Using Control Barrier Functions (2019) (27)
- Temporal logic motion planning in unknown environments (2013) (27)
- Bridging the Gap between Optimal Trajectory Planning and Safety-Critical Control with Applications to Autonomous Vehicles (2020) (27)
- Formal Methods for Control of Traffic Flow: Automated Control Synthesis from Finite-State Transition Models (2017) (27)
- Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints (2014) (26)
- Provably Safe Cruise Control of Vehicular Platoons (2017) (26)
- Robotic swarm control from spatio-temporal specifications (2016) (25)
- An Automata-Theoretic Approach to the Vehicle Routing Problem (2014) (24)
- Temporal logic robot control based on automata learning of environmental dynamics (2013) (24)
- Receding horizon temporal logic control for finite deterministic systems (2012) (24)
- Reactive sampling-based path planning with temporal logic specifications (2020) (24)
- Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints (2020) (23)
- Hybrid control for visibility-based pursuit-evasion games (2004) (23)
- Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements (2015) (23)
- A receding horizon algorithm for informative path planning with temporal logic constraints (2013) (23)
- Temporal logic model predictive control (2015) (23)
- Rule-based optimal control for autonomous driving (2021) (22)
- Specifying User Preferences Using Weighted Signal Temporal Logic (2020) (22)
- Model checking discrete-time Piecewise Affine systems: Application to gene networks (2007) (21)
- Probabilistic control from time-bounded temporal logic specifications in dynamic environments (2012) (21)
- Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications (2008) (21)
- Safety control of monotone systems with bounded uncertainties (2016) (20)
- Distributed information gathering policies under temporal logic constraints (2015) (20)
- Compositional synthesis via a convex parameterization of assume-guarantee contracts (2020) (19)
- Computational Techniques for Analysis of Genetic Network Dynamics (2005) (19)
- Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning (2015) (19)
- Time-Constrained Temporal Logic Control of Multi-Affine Systems (2012) (18)
- A Temporal Logic Inference Approach for Model Discrimination (2016) (18)
- Towards Abstraction and Control for Large Groups of Robots (2003) (18)
- Sufficient Conditions for Feasibility of Optimal Control Problems Using Control Barrier Functions (2020) (18)
- Automatic Generation of Balletic Motions (2011) (18)
- Continuous-time Signal Temporal Logic Planning with Control Barrier Functions (2019) (18)
- On controlling aircraft and underwater vehicles (2004) (18)
- A provably correct MPC approach to safety control of urban traffic networks (2016) (18)
- Control of noisy differential-drive vehicles from time-bounded temporal logic specifications (2012) (17)
- Receding Horizon Control in Dynamic Environments from Temporal Logic Specifications (2013) (17)
- Distributed implementations of global temporal logic motion specifications (2008) (17)
- Controlling a class of non-linear systems on rectangles (2006) (17)
- Least-Violating Planning in Road Networks from Temporal Logic Specifications (2016) (16)
- New metrics for rigid body motion interpolation (2000) (16)
- A Framework for Automatic Deployment of Robots in 2D and 3D Environments (2006) (16)
- Controlling a network of signalized intersections from temporal logical specifications (2015) (15)
- Dynamic contracts for distributed temporal logic control of traffic networks (2017) (15)
- Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents (2012) (15)
- Formal Synthesis of Distributed Optimal Traffic Control Policies (2017) (15)
- An Approximate Dynamic Programming Approach to Multiagent Persistent Monitoring in Stochastic Environments With Temporal Logic Constraints (2017) (15)
- Grid-based temporal logic inference (2017) (15)
- Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE) (2009) (15)
- SE(N) invariance in networked systems (2015) (15)
- Optimal motion planning with temporal logic and switching constraints (2015) (14)
- Formal Synthesis of Control Strategies for Positive Monotone Systems (2017) (14)
- Feasibility-Guided Learning for Constrained Optimal Control Problems (2020) (13)
- On the Computation of Rigid Body Motion (2009) (13)
- Control of Rectangular Multi-Affine Hybrid Systems (2006) (13)
- Rich Time Series Classification Using Temporal Logic (2017) (13)
- Probabilistically Safe Vehicle Control in a Hostile Environment (2011) (13)
- Temporal logic control in dynamic environments with probabilistic satisfaction guarantees (2011) (13)
- Correct-by-construction control synthesis for multi-robot mixing (2015) (13)
- Modeling Genetic Circuit Behavior in Transiently Transfected Mammalian Cells. (2019) (13)
- Decentralized Merging Control in Traffic Networks with Noisy Vehicle Dynamics: a Joint Optimal Control and Barrier Function Approach (2019) (13)
- Translational and Rotational Invariance in Networked Dynamical Systems (2018) (12)
- Deep epistasis in human metabolism. (2010) (12)
- Sampling-based Motion Planning via Control Barrier Functions (2019) (12)
- Information-guided persistent monitoring under temporal logic constraints (2015) (12)
- Temporal logic control for an autonomous quadrotor in a nondeterministic environment (2013) (12)
- Control with Probabilistic Signal Temporal Logic (2015) (12)
- Formal Methods for Automatic Deployment of Robotic Teams (2011) (11)
- Offline and Online Learning of Signal Temporal Logic Formulae Using Decision Trees (2021) (11)
- Formal methods for adaptive control of dynamical systems (2017) (11)
- Distribution temporal logic: Combining correctness with quality of estimation (2013) (11)
- Approximate Markovian abstractions for linear stochastic systems (2012) (11)
- Abstraction and Control for Swarms of Robots (2003) (11)
- Pattern synthesis in a 3D agent-based model of stem cell differentiation (2016) (11)
- Managing non-determinism in symbolic robot motion planning and control (2007) (10)
- Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks (2002) (10)
- Formal analysis of Piecewise Affine systems under parameter uncertainty with application to gene networks (2008) (9)
- An Efficient, Geometric Approach to Rigid Body Motion Interpolation (2020) (9)
- Multi-agent persistent monitoring in stochastic environments with temporal logic constraints (2012) (9)
- A formal verification approach to the design of synthetic gene networks (2011) (9)
- Metrics for Signal Temporal Logic Formulae (2018) (9)
- Adaptive Control Barrier Functions for Safety-Critical Systems (2020) (9)
- Genetic regulatory network identification using multivariate monotone functions (2011) (9)
- Automatic Generation of Ballet Phrases (2011) (9)
- On the need for communication in distributed implementations of LTL motion specifications (2010) (8)
- Decentralized Optimal Control in Multi-lane Merging for Connected and Automated Vehicles (2020) (8)
- Average-based Robustness for Continuous-Time Signal Temporal Logic (2019) (8)
- Distributed Robust Set-Invariance for Interconnected Linear Systems (2017) (8)
- Probabilistically safe control of noisy Dubins vehicles (2012) (8)
- Automata Guided Reinforcement Learning With Demonstrations (2018) (8)
- Language-Guided Sampling-based Planning using Temporal Relaxation (2016) (8)
- Proceedings of the 16th international conference on Hybrid systems: computation and control (2013) (8)
- Negotiating the probabilistic satisfaction of temporal logic motion specifications (2013) (8)
- Informative path planning under temporal logic constraints with performance guarantees (2017) (7)
- Control of a team of car-like robots using abstractions (2003) (7)
- Integration of large-scale metabolic, signaling, and gene regulatory networks with application to infection responses (2011) (7)
- How Retroactivity Affects the Behavior of Incoherent Feedforward Loops (2020) (7)
- Event-Triggered Safety-Critical Control for Systems with Unknown Dynamics (2021) (7)
- Spatial-Temporal pattern Synthesis in a Network of Locally Interacting Cells (2018) (7)
- Online Learning of Temporal Logic Formulae for Signal Classification (2018) (7)
- Distributed and consistent multi-image feature matching via QuickMatch (2019) (7)
- Model predictive control of urban traffic networks with temporal logic constraints (2016) (7)
- Feasibility envelopes for metric temporal logic specifications (2016) (7)
- Abstraction and control for groups of fully-actuated planar robots (2003) (6)
- Self-Organized Pluripotent Stem Cell Patterning by Automated Design (2019) (6)
- Formal analysis of timed continuous Petri nets (2008) (6)
- Optimal receding horizon control for finite deterministic systems with temporal logic constraints (2013) (6)
- Model-Based Safe Policy Search from Signal Temporal Logic Specifications Using Recurrent Neural Networks (2021) (6)
- Genetic Regulatory Network Identification Using Monotone Functions Decomposition (2011) (6)
- Formal Synthesis of Control Policies for Continuous Time Markov Processes From Time-Bounded Temporal Logic Specifications (2014) (6)
- Motion generation for groups of robots: a centralized, geometric approach (2002) (6)
- Geometric Methods for Multirobot Optimal Motion Planning (2005) (6)
- A hierarchical approach to automatic deployment of robotic teams with communication constraints (2010) (6)
- Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions (2012) (6)
- Signal Clustering Using Temporal Logics (2017) (6)
- Model-based reinforcement learning for approximate optimal control with temporal logic specifications (2021) (6)
- Finite state abstraction and formal methods for traffic flow networks (2016) (6)
- Rotating stall control for axial flow compressors (1998) (6)
- Automata Guided Hierarchical Reinforcement Learning for Zero-shot Skill Composition (2017) (5)
- Temporal logic control for piecewise-affine hybrid systems on polytopes (2010) (5)
- Safe Exploration in Model-based Reinforcement Learning using Control Barrier Functions (2021) (5)
- Geometric methods for multi-robot planning and control (2003) (5)
- Receding horizon robot control in partially unknown environments with temporal logic constraints (2016) (5)
- Localization of a Ground Robot by Aerial Robots for GPS-Deprived Control with Temporal Logic Constraints (2016) (5)
- Genetic design automation for autonomous formation of multicellular shapes from a single cell progenitor (2019) (5)
- Formal synthesis of control strategies for dynamical systems (2016) (5)
- Reactive Control Meets Runtime Verification: A Case Study of Navigation (2019) (5)
- Distributed Sensing Subject to Temporal Logic Constraints (2018) (5)
- High Order Robust Adaptive Control Barrier Functions and Exponentially Stabilizing Adaptive Control Lyapunov Functions (2022) (5)
- Model Checking Genetic Regulatory Networks with Applications to Synthetic Biology (2004) (5)
- Partial Restoration of Macrophage Alteration from Diet-Induced Obesity in Response to Porphyromonas gingivalis Infection (2013) (5)
- The Reasonable Crowd: Towards evidence-based and interpretable models of driving behavior (2021) (5)
- Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS) (2022) (5)
- Robust Control Barrier Functions for Nonlinear Control Systems with Uncertainty: A Duality-based Approach (2022) (5)
- Controlling the Outcome of the Toll-Like Receptor Signaling Pathways (2012) (5)
- Automata Guided Semi-Decentralized Multi-Agent Reinforcement Learning (2020) (5)
- Symbolic Control and Planning of Robotic Motion (Grand Challenges of Robotics) (2007) (4)
- Experimentally driven verification of synthetic biological circuits (2012) (4)
- Least squares temporal difference actor-critic methods with applications to robot motion control (2011) (4)
- Feasibility-Guided Learning for Robust Control in Constrained Optimal Control Problems (2019) (4)
- A Hierarchical Reinforcement Learning Method for Persistent Time-Sensitive Tasks (2016) (4)
- Control Barrier Functions for Systems with Multiple Control Inputs (2022) (4)
- Optimizing regulation functions in gene network identification (2013) (4)
- Overcoming Exploration: Deep Reinforcement Learning in Complex Environments from Temporal Logic Specifications (2022) (4)
- Safety-Critical Optimal Control for Autonomous Systems (2021) (4)
- Predictions of Genetic Circuit Behaviors Based on Modular Composition in Transiently Transfected Mammalian Cells (2018) (4)
- IN-HAPTICS: Interactive navigation using haptics (2010) (4)
- High Order Control Lyapunov-Barrier Functions for Temporal Logic Specifications (2021) (4)
- An additive cost approach to optimal Temporal Logic control (2014) (4)
- ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications (2019) (4)
- Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties (2015) (4)
- Integration of deterministic inference with formal synthesis for control under uncertainty (2016) (4)
- Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201) (2017) (3)
- Automata-Guided Hierarchical Reinforcement Learning for Skill Composition (2017) (3)
- Iterative Convex Optimization for Model Predictive Control with Discrete-Time High-Order Control Barrier Functions (2022) (3)
- Formal synthesis of optimal information-gathering policies (2014) (3)
- Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications (2021) (3)
- Classification of Time-Series Data Using Boosted Decision Trees (2021) (3)
- Distributed control policies for localization of large disturbances in urban traffic networks (2017) (3)
- On the Computation of Minimal Cut Sets in Genome Scale Metabolic Networks (2007) (3)
- Rule-based Evaluation and Optimal Control for Autonomous Driving (2021) (3)
- Temporal Logics and Automata (2017) (3)
- Event-Triggered Control for Safety-Critical Systems With Unknown Dynamics (2022) (2)
- Consistent Multi-robot Object Matching via QuickMatch (2018) (2)
- Robust Multi-Agent Coordination from CaTL+ Specifications (2022) (2)
- Adaptive Sampling-based Motion Planning with Control Barrier Functions (2022) (2)
- Data-driven verification of synthetic gene networks (2013) (2)
- An application of monotone functions decomposition to the reconstruction of gene regulatory networks (2011) (2)
- Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments From Temporal Logic Specifications (2022) (2)
- Stability analysis for rotating stall dynamics in axial flow compressors (1999) (2)
- Multi-robot routing and scheduling with temporal logic and synchronization constraints (2019) (2)
- Retroactivity Affects the Adaptive Robustness of Transcriptional Regulatory Networks (2019) (2)
- Temporal logic guided safe model-based reinforcement learning: A hybrid systems approach (2023) (1)
- Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks (2021) (1)
- Temporal Logic Control (2017) (1)
- Learning for Control of Rolling ubots (2022) (1)
- Compositional Synthesis of Decentralized Robust Set-Invariance Controllers for Large-scale Linear Systems (2019) (1)
- Optimal Control of Markov Decision Processes with Temporal Logic Constraints (2012) (1)
- Abstractions for Planning and Control of Robotic Swarms (2011) (1)
- Distributed Control using Reinforcement Learning with Temporal-Logic-Based Reward Shaping (2022) (1)
- Modular Adaptive Safety-Critical Control (2023) (1)
- Control Synthesis for Partial Differential Equations from Spatio-Temporal Specifications (2018) (1)
- National Science Foundation Workshop on Future Directions in Cyber-Physical Systems, Robotics, and Autonomy (2015) (1)
- Formal Methods for Dynamical Systems (2012) (1)
- Investigating the genomic basis of metabolic robustness through in silico flux analysis (2008) (1)
- Compositional Synthesis for Linear Systems via Convex Optimization of Assume-Guarantee Contracts (2022) (1)
- New Metrics for Trajectory Generation and Interpolation on Se(3) (1)
- Discrete-Time Dynamical Systems (2017) (1)
- Inferring Temporal Logic Properties from Data using Boosted Decision Trees (2021) (1)
- CONTROL OF MULTI-ROBOT TEAMS BASED ON LTL SPECIFICATIONS (2007) (1)
- Largest Satisfying Region (2017) (1)
- Formal methods for controlling networked systems (2015) (1)
- A Formal Approach to the Automatic Generation of Ballet Motions (2011) (1)
- Enforcing temporal logic specifications via reinforcement learning (2015) (1)
- Time-Incremental Learning from Data Using Temporal Logics (2021) (1)
- Semi-supervised pattern synthesis in spatially distributed dynamical systems (2017) (1)
- CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications (2022) (0)
- Formal Synthesis of Control and Communication Strategies for Teams of Unmanned Vehicles (2012) (0)
- MDP Optimal Control under Temporal Logic Constraints Xu Chu Ding Stephen L. Smith Calin Belta Daniela Rus (2011) (0)
- A Control Architecture for Provably-Correct Autonomous Driving (2021) (0)
- Safe control from signal temporal logic specifications using recurrent neural networks (2021) (0)
- Non-uniform Sampled Motion Planning for Continuous-time STL (2020) (0)
- Utilizing Signal Temporal Logic to Characterize and Compose Modules in Synthetic Biology (2016) (0)
- MIT Open Access Articles Optimal path planning under temporal logic constraints (2022) (0)
- F L ] 1 3 F eb 2 01 6 Time Window Temporal Logic (2018) (0)
- MDP Optimal Control under Temporal Logic Constraints-Technical Report - (2011) (0)
- Session details: HSCC invited speaker session (2013) (0)
- Learning Feasibility Constraints for Control Barrier Functions (2023) (0)
- Calin A. Belta [People in Control] (2017) (0)
- Specification Languages and Distributed Control Schemes for Teams of Unmanned Vehicles (2012) (0)
- Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet (2023) (0)
- Session details: Timed systems and temporal specifications (2014) (0)
- An SVD-Based Projection Method (2002) (0)
- Temporal Logic Control of Discrete-Time (2012) (0)
- Language Guided Controller Synthesis (2017) (0)
- Automata Guided Skill Composition (2018) (0)
- Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges (2023) (0)
- Auxiliary-Adaptive Control Barrier Functions for Safety Critical Systems (2023) (0)
- Specifying User Preferences using Weighted Signal Temporal Logic (2021) (0)
- Motion generation for formations a geometric approach of robots (2001) (0)
- Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization (2022) (0)
- Robot Motion Planning (2008) (0)
- Control of Multi-AÆne Systems on Re tangleswith Appli ations to Hybrid Biomole ular Networks 1 (2002) (0)
- Finite Temporal Logic Control (2017) (0)
- Stall control for axial compressors (1999) (0)
- Weight Selection in the LQ-Problem with Finite Final Time (1996) (0)
- Lorenzo Marconi [People in Control] (2017) (0)
- Learning Spatio-Temporal Specifications for Dynamical Systems (2021) (0)
- Largest Finite Satisfying Region (2017) (0)
- Formal Methods for Controlling Dynamical Systems (2019) (0)
- Correction (1990) (0)
- Informative Path Planning under Temporal Logic Constraints (2014) (0)
- Formal Methods in Control Design-from Discrete Synthesis to Continuous Controllers (2018) (0)
- A Formal Approach to the Automatic Generation of Ballet Phrases (2011) (0)
- Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints (2015) (0)
- Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints (2021) (0)
- Optimal Temporal Logic Control (2017) (0)
- Technical Committee Updates [Technical Activities] (2013) (0)
- Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control (2023) (0)
- Brief Paper Rotating stall control for axial #ow compressors (2001) (0)
- Robustness Measures and Monitors for Time Window Temporal Logic (2023) (0)
- Optimal Path Planning for Surveillance with Temporal Logic Constraints ∗ Stephen (2011) (0)
- Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA (2013) (0)
- Efficient LQR-CBF-RRT*: Safe and Optimal Motion Planning (2023) (0)
- Hierarchical Temporal Logic Guided Reinforcement Learning (2019) (0)
This paper list is powered by the following services:
What Schools Are Affiliated With Calin A. Belta?
Calin A. Belta is affiliated with the following schools:
