Pages that link to "Item:Q2986731"
From MaRDI portal
The following pages link to Robust discrete synthesis against unspecified disturbances (Q2986731):
Displayed 6 items.
- Finite abstractions with robustness margins for temporal logic-based control synthesis (Q313326) (← links)
- Latticed-LTL synthesis in the presence of noisy inputs (Q1677194) (← links)
- Synthesizing robust systems (Q2249662) (← links)
- Synthesizing Optimally Resilient Controllers (Q5079759) (← links)
- Reasoning about Quality and Fuzziness of Strategic Behaviors (Q6116358) (← links)
- On tolerance of discrete systems with respect to transition perturbations (Q6201386) (← links)