The following pages link to (Q3086918):
Displayed 7 items.
- Maximally permissive controlled system synthesis for non-determinism and modal logic (Q513185) (← links)
- Infinite games with finite knowledge gaps (Q528188) (← links)
- Information tracking in games on graphs (Q616037) (← links)
- Parity game reductions (Q1656552) (← links)
- Distributed synthesis is simply undecidable (Q2445907) (← links)
- The mu-calculus and Model Checking (Q3176384) (← links)
- Consensus Game Acceptors (Q3451093) (← links)