The following pages link to (Q4542592):
Displaying 35 items.
- Automata-theoretic decision of timed games (Q386611) (← links)
- A survey of stochastic \(\omega \)-regular games (Q414898) (← links)
- The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity (Q477204) (← links)
- Solving parity games via priority promotion (Q1742991) (← links)
- A delayed promotion policy for parity games (Q1784960) (← links)
- Fair simulation (Q1854506) (← links)
- Alternating-time temporal logics with linear past (Q1989330) (← links)
- Robust worst cases for parity games algorithms (Q2182730) (← links)
- Answering regular path queries in expressive description logics via alternating tree-automata (Q2252521) (← links)
- Dicing on the Streett (Q2379984) (← links)
- A note on the emptiness problem for alternating finite-memory automata (Q2437765) (← links)
- Bridging the gap between fair simulation and trace inclusion (Q2486398) (← links)
- The alternation hierarchy in fixpoint logic with chop is strict too (Q2509356) (← links)
- Relating word and tree automata (Q2576943) (← links)
- (Q2754058) (← links)
- Solving Parity Games Using an Automata-Based Algorithm (Q2830208) (← links)
- Quasi-weak cost automata: a new variant of weakness (Q2911613) (← links)
- Reasoning About Strategies (Q2946746) (← links)
- Emptiness Of Alternating Tree Automata Using Games With Imperfect Information (Q2963922) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- (Q3384167) (← links)
- (Q3384177) (← links)
- (Q3384882) (← links)
- (Q4536377) (← links)
- (Q5015267) (← links)
- (Q5020527) (← links)
- (Q5020529) (← links)
- (Q5020998) (← links)
- Results on alternating-time temporal logics with linear past (Q5079770) (← links)
- On the Way to Alternating Weak Automata (Q5090957) (← links)
- (Q5114824) (← links)
- VLDL satisfiability and model checking via tree automata (Q5136340) (← links)
- The Complexity of CTL* + Linear Past (Q5458359) (← links)
- (Q5875379) (← links)
- Priority promotion with Parysian flair (Q6627044) (← links)
