Pages that link to "Item:Q2963922"
From MaRDI portal
The following pages link to Emptiness Of Alternating Tree Automata Using Games With Imperfect Information (Q2963922):
Displaying 6 items.
- Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra (Q673778) (← links)
- Counting branches in trees using games (Q729823) (← links)
- Multi-player games with LDL goals over finite traces (Q2225596) (← links)
- Alternating Tree Automata and Parity Games (Q4412832) (← links)
- VLDL satisfiability and model checking via tree automata (Q5136340) (← links)
- Alternating tree automata, parity games, and modal \(\mu\)-calculus (Q5952907) (← links)