Pages that link to "Item:Q3559788"
From MaRDI portal
The following pages link to Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications (Q3559788):
Displayed 17 items.
- Synthesis of Reactive(1) designs (Q439954) (← links)
- Down the Borel hierarchy: solving Muller games via safety games (Q477197) (← links)
- Synthesizing bounded-time 2-phase fault recovery (Q903518) (← links)
- Symbolic synthesis of masking fault-tolerant distributed programs (Q1938357) (← links)
- Quantitative reductions and vertex-ranked infinite games (Q2029603) (← links)
- Timed games with bounded window parity objectives (Q2112117) (← links)
- Finite-state strategies in delay games (Q2182729) (← links)
- The complexity of automated addition of fault-tolerance without explicit legitimate states (Q2355327) (← links)
- (Q3384169) (← links)
- (Q3384874) (← links)
- Optimal strategy synthesis for request-response games (Q3465629) (← links)
- Memory Reduction for Strategies in Infinite Games (Q3503911) (← links)
- Solving μ-Calculus Parity Games by Symbolic Planning (Q3614877) (← links)
- Time-Optimal Winning Strategies for Poset Games (Q3637359) (← links)
- (Q5015274) (← links)
- (Q5021006) (← links)
- Optimizing Winning Strategies in Regular Infinite Games (Q5448640) (← links)