Pages that link to "Item:Q1631235"
From MaRDI portal
The following pages link to Duality-based nested controller synthesis from STL specifications for stochastic linear systems (Q1631235):
Displaying 5 items.
- Towards scalable synthesis of stochastic control systems (Q1693824) (← links)
- Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications (Q2116657) (← links)
- Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications (Q2665348) (← links)
- Reactive synthesis from signal temporal logic specifications (Q2988945) (← links)
- Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications (Q2988959) (← links)