Pages that link to "Item:Q4412832"
From MaRDI portal
The following pages link to Alternating Tree Automata and Parity Games (Q4412832):
Displaying 10 items.
- Alternating tree automata (Q1077932) (← links)
- The finite graph problem for two-way alternating automata. (Q1874281) (← links)
- The computational complexity of scenario-based agent verification and design (Q2372186) (← links)
- Emptiness Of Alternating Tree Automata Using Games With Imperfect Information (Q2963922) (← links)
- (Q3384876) (← links)
- Simulation Relations for Alternating Parity Automata and Parity Games (Q3617046) (← links)
- On the Way to Alternating Weak Automata (Q5090957) (← links)
- (Q5114824) (← links)
- Fundamentals of Computation Theory (Q5492958) (← links)
- Alternating tree automata, parity games, and modal \(\mu\)-calculus (Q5952907) (← links)