Pages that link to "Item:Q3613365"
From MaRDI portal
The following pages link to Satisfiability and Finite Model Property for the Alternating-Time μ-Calculus (Q3613365):
Displaying 14 items.
- Solving parity games in big steps (Q340584) (← links)
- Solving parity games via priority promotion (Q1742991) (← links)
- Alternating-time temporal logics with linear past (Q1989330) (← links)
- Robust worst cases for parity games algorithms (Q2182730) (← links)
- Model checking open systems with alternating projection temporal logic (Q2424878) (← links)
- Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games (Q2961570) (← links)
- From Parity and Payoff Games to Linear Programming (Q3182965) (← links)
- (Q3384167) (← links)
- (Q3384177) (← links)
- Symmetric Strategy Improvement (Q3449491) (← links)
- ATL* Satisfiability Is 2EXPTIME-Complete (Q3519515) (← links)
- Tighter Bounds for the Determinisation of Büchi Automata (Q3617728) (← links)
- (Q5079770) (← links)
- Solving Parity Games in Big Steps (Q5458856) (← links)
