Pages that link to "Item:Q2946587"
From MaRDI portal
The following pages link to Finitary winning in ω-regular games (Q2946587):
Displaying 28 items.
- Optimal bounds in parametric LTL games (Q391106) (← links)
- Down the Borel hierarchy: solving Muller games via safety games (Q477197) (← links)
- Solving parity games via priority promotion (Q1742991) (← links)
- A delayed promotion policy for parity games (Q1784960) (← links)
- Cycle detection in computation tree logic (Q1784962) (← links)
- Quantitative reductions and vertex-ranked infinite games (Q2029603) (← links)
- Timed games with bounded window parity objectives (Q2112117) (← links)
- Hierarchical cost-parity games (Q2210523) (← links)
- Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking (Q2225595) (← links)
- Synthesizing optimally resilient controllers (Q2303880) (← links)
- Alternating-time temporal logic ATL with finitely bounded semantics (Q2334601) (← links)
- Looking at mean-payoff and total-payoff through windows (Q2346404) (← links)
- Parameterized linear temporal logics meet costs: still not costlier than LTL (Q2413483) (← links)
- Prompt Interval Temporal Logic (Q2835872) (← links)
- Delay Games with WMSO+U Winning Conditions (Q2953690) (← links)
- Stochastic Games with Finitary Objectives (Q3182912) (← links)
- Delay Games with WMSO$$+$$U Winning Conditions (Q3194731) (← links)
- (Q3384874) (← links)
- (Q5005142) (← links)
- (Q5013884) (← links)
- (Q5015274) (← links)
- (Q5015276) (← links)
- (Q5021006) (← links)
- (Q5028465) (← links)
- Quantifying Bounds in Strategy Logic (Q5079747) (← links)
- (Q5079761) (← links)
- (Q5141616) (← links)
- (Q5875369) (← links)
