The following pages link to On promptness in parity games (Q2805469):
Displaying 10 items.
- A delayed promotion policy for parity games (Q1784960) (← links)
- Cycle detection in computation tree logic (Q1784962) (← links)
- Improving parity games in practice (Q2043434) (← links)
- Hierarchical cost-parity games (Q2210523) (← links)
- Natural strategic ability (Q2289013) (← links)
- Lattice-theoretic progress measures and coalgebraic model checking (Q2828316) (← links)
- (Q5015276) (← links)
- Quantifying Bounds in Strategy Logic (Q5079747) (← links)
- (Q5079761) (← links)
- (Q5232902) (← links)