The following pages link to Synthesizing robust systems (Q2249662):
Displayed 30 items.
- Synthesizing efficient systems in probabilistic environments (Q300419) (← links)
- Synthesis of Reactive(1) designs (Q439954) (← links)
- Multi-weighted automata and MSO logic (Q504993) (← links)
- Reactive synthesis without regret (Q520338) (← links)
- Safraless LTL synthesis considering maximal realizability (Q1674867) (← links)
- Shield synthesis (Q1696587) (← links)
- Quantitative reductions and vertex-ranked infinite games (Q2029603) (← links)
- Faster algorithms for quantitative verification in bounded treewidth graphs (Q2058390) (← links)
- Vacuity in synthesis (Q2058393) (← links)
- Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems (Q2058495) (← links)
- Protocol scheduling (Q2145259) (← links)
- Strategy synthesis for multi-dimensional quantitative objectives (Q2249657) (← links)
- Synthesizing robust systems (Q2249662) (← links)
- Synthesizing optimally resilient controllers (Q2303880) (← links)
- Synthesizing Efficient Controllers (Q2891434) (← links)
- Synthesizing Non-Vacuous Systems (Q2961552) (← links)
- QUASY: Quantitative Synthesis Tool (Q3000655) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- (Q3384874) (← links)
- Weight Assignment Logic (Q3451120) (← links)
- Synthesizing Optimally Resilient Controllers (Q5079759) (← links)
- Optimally Resilient Strategies in Pushdown Safety Games (Q5089248) (← links)
- Synthesis for Multi-weighted Games with Branching-Time Winning Conditions (Q5100749) (← links)
- (Q5111253) (← links)
- Measuring and Synthesizing Systems in Probabilistic Environments (Q5501954) (← links)
- On High-Quality Synthesis (Q5740173) (← links)
- A weakness measure for GR(1) formulae (Q5918136) (← links)
- A theory of change for prioritised resilient and evolvable software systems (Q6067109) (← links)
- Specifiable robustness in reactive synthesis (Q6102166) (← links)
- On tolerance of discrete systems with respect to transition perturbations (Q6201386) (← links)