The following pages link to Calin Belta (Q184778):
Displayed 50 items.
- Temporal logic model predictive control (Q889006) (← links)
- Formal analysis of piecewise affine systems through formula-guided refinement (Q1939637) (← links)
- Stability analysis for rotating stall dynamics in axial flow compressors (Q1971590) (← links)
- Formal methods for discrete-time dynamical systems (Q2012356) (← links)
- Sufficient conditions for feasibility of optimal control problems using control barrier functions (Q2059351) (← links)
- Safety-critical optimal control for autonomous systems (Q2070013) (← links)
- Safe exploration in model-based reinforcement learning using control barrier functions (Q2103658) (← links)
- Time-constrained temporal logic control of multi-affine systems (Q2252961) (← links)
- Time window temporal logic (Q2402278) (← links)
- LTL receding horizon control for finite deterministic systems (Q2628417) (← links)
- Bridging the gap between optimal trajectory planning and safety-critical control with applications to autonomous vehicles (Q2665090) (← links)
- Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach (Q2677109) (← links)
- Formal Verification and Synthesis for Discrete-Time Stochastic Systems (Q2982621) (← links)
- Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties (Q2982700) (← links)
- Finite Bisimulations for Switched Linear Systems (Q2982914) (← links)
- Formal Synthesis of Control Policies for Continuous Time Markov Processes From Time-Bounded Temporal Logic Specifications (Q2983055) (← links)
- Language-Guided Controller Synthesis for Linear Systems (Q2983163) (← links)
- Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints (Q2983169) (← links)
- Language-guided controller synthesis for discrete-time linear systems (Q2986756) (← links)
- Temporal logic inference for classification and prediction from data (Q2986980) (← links)
- SpaTeL (Q2988938) (← links)
- Temporal logic motion planning using POMDPs with parity objectives (Q2988944) (← links)
- A Decision Tree Approach to Data Classification using Signal Temporal Logic (Q2988954) (← links)
- (Q3174310) (← links)
- Dealing with Nondeterminism in Symbolic Control (Q3523114) (← links)
- Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications (Q3523135) (← links)
- Model Checking Genetic Regulatory Networks with Parameter Uncertainty (Q3612958) (← links)
- (Q4417540) (← links)
- (Q4460314) (← links)
- (Q4552454) (← links)
- Formal Guarantees in Data-Driven Model Identification and Control Synthesis (Q4561447) (← links)
- A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks (Q4562351) (← links)
- An Approximate Dynamic Programming Approach to Multiagent Persistent Monitoring in Stochastic Environments With Temporal Logic Constraints (Q4566786) (← links)
- Formal Synthesis of Control Strategies for Positive Monotone Systems (Q4629806) (← links)
- Translational and Rotational Invariance in Networked Dynamical Systems (Q4630105) (← links)
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications (Q4974124) (← links)
- Formal Methods for Control of Traffic Flow: Automated Control Synthesis from Finite-State Transition Models (Q5019360) (← links)
- Adaptive Control Barrier Functions (Q5092123) (← links)
- High-Order Control Barrier Functions (Q5092288) (← links)
- Compositional synthesis via a convex parameterization of assume-guarantee contracts (Q5146379) (← links)
- Controlling a Class of Nonlinear Systems on Rectangles (Q5281971) (← links)
- Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty (Q5282354) (← links)
- Temporal Logics for Learning and Detection of Anomalous Behavior (Q5282370) (← links)
- Hybrid Systems: Computation and Control (Q5307463) (← links)
- Formal Analysis of Discrete-Time Piecewise Affine Systems (Q5347552) (← links)
- Temporal Logic Control of Discrete-Time Piecewise Affine Systems (Q5352845) (← links)
- Traffic Network Control From Temporal Logic Specifications (Q5358494) (← links)
- Model Checking Liveness Properties of Genetic Regulatory Networks (Q5758118) (← links)
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (Q5892457) (← links)
- Hybrid Systems: Computation and Control (Q5898988) (← links)