Pages that link to "Item:Q2303880"
From MaRDI portal
The following pages link to Synthesizing optimally resilient controllers (Q2303880):
Displaying 9 items.
- Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications (Q2664268) (← links)
- (Q3152838) (← links)
- Synthesizing Optimally Resilient Controllers (Q5079759) (← links)
- Synthesis of Optimal Resilient Control Strategies (Q5096100) (← links)
- On Synthesizing Controllers from Bounded-Response Properties (Q5429317) (← links)
- On tolerance of discrete systems with respect to transition perturbations (Q6201386) (← links)
- With a little help from your friends: semi-cooperative games via joker moves (Q6535468) (← links)
- Safe environmental envelopes of discrete systems (Q6535638) (← links)
- Synthesizing permissive winning strategy templates for parity games (Q6535644) (← links)