Pages that link to "Item:Q1959483"
From MaRDI portal
The following pages link to Strategy construction for parity games with imperfect information (Q1959483):
Displaying 4 items.
- Graph operations on parity games and polynomial-time algorithms (Q906273) (← links)
- Uniform strategies, rational relations and jumping automata (Q2346407) (← links)
- Compositional construction of most general controllers (Q2350495) (← links)
- Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus (Q2946334) (← links)
