Pages that link to "Item:Q1737745"
From MaRDI portal
The following pages link to Robust control for signal temporal logic specifications using discrete average space robustness (Q1737745):
Displaying 10 items.
- Finite abstractions with robustness margins for temporal logic-based control synthesis (Q313326) (← links)
- Temporal logic model predictive control (Q889006) (← links)
- TeLEx: learning signal temporal logic from positive examples using tightness metric (Q2008282) (← links)
- Funnel control for fully actuated systems under a fragment of signal temporal logic specifications (Q2061223) (← links)
- Robust parametric control of Lorenz system via state feedback (Q2225218) (← links)
- Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks (Q2280776) (← links)
- Temporal logic model predictive control for discrete-time systems (Q2986939) (← links)
- Model predictive monitoring of dynamical systems for signal temporal logic specifications (Q6152567) (← links)
- Assured learning-enabled autonomy: a metacognitive reinforcement learning framework (Q6495305) (← links)
- Robust satisfaction of metric interval temporal logic objectives in adversarial environments (Q6555607) (← links)
