Pages that link to "Item:Q3617717"
From MaRDI portal
The following pages link to Facets of Synthesis: Revisiting Church’s Problem (Q3617717):
Displaying 8 items.
- Alternating traps in Muller and parity games (Q389948) (← links)
- Visibly pushdown modular games (Q515657) (← links)
- Improving parity games in practice (Q2043434) (← links)
- Solving Parity Games Using an Automata-Based Algorithm (Q2830208) (← links)
- Compositional Control Synthesis for Partially Observable Systems (Q3184691) (← links)
- (Q5207050) (← links)
- How Much Lookahead is Needed to Win Infinite Games? (Q5892380) (← links)
- Church synthesis on register automata over linearly ordered data domains (Q6151760) (← links)
