Pages that link to "Item:Q3613365"

The following pages link to Satisfiability and Finite Model Property for the Alternating-Time μ-Calculus (Q3613365):

Displaying 10 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)
• (Q5079770) (← links)