Pages that link to "Item:Q2986731"

The following pages link to Robust discrete synthesis against unspecified disturbances (Q2986731):

Displaying 3 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)
• Reasoning about Quality and Fuzziness of Strategic Behaviors (Q6116358) (← links)