The following pages link to On Promptness in Parity Games (Q2870156):
Displaying 8 items.
- Reasoning about graded strategy quantifiers (Q1706169) (← links)
- Solving parity games via priority promotion (Q1742991) (← links)
- Hierarchical cost-parity games (Q2210523) (← links)
- Alternating-time temporal logic ATL with finitely bounded semantics (Q2334601) (← links)
- Parameterized linear temporal logics meet costs: still not costlier than LTL (Q2413483) (← links)
- Solving Parity Games Using an Automata-Based Algorithm (Q2830208) (← links)
- Prompt Interval Temporal Logic (Q2835872) (← links)
- (Q5013884) (← links)
