Pages that link to "Item:Q4800258"

The following pages link to Permissive strategies: from parity games to safety games (Q4800258):

Displaying 24 items.

• Down the Borel hierarchy: solving Muller games via safety games (Q477197) (← links)
• Assume-admissible synthesis (Q520340) (← links)
• How to win first-order safety games (Q784157) (← links)
• Shield synthesis (Q1696587) (← links)
• Strategy construction for parity games with imperfect information (Q1959483) (← links)
• On satisficing in quantitative games (Q2044188) (← links)
• Logical time control of concurrent DES (Q2058560) (← links)
• Bounded game-theoretic semantics for modal mu-calculus (Q2105468) (← links)
• Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control (Q2231651) (← links)
• Strategy synthesis for multi-dimensional quantitative objectives (Q2249657) (← links)
• Synthesizing optimally resilient controllers (Q2303880) (← links)
• Compositional construction of most general controllers (Q2350495) (← links)
• A Compositional Framework for Controller Synthesis (Q3090853) (← links)
• Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited (Q3172910) (← links)
• Measuring Permissivity in Finite Games (Q3184674) (← links)
• Computing Weakest Strategies for Safety Games of Imperfect Information (Q3617754) (← links)
• Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems (Q5005159) (← links)
• Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints (Q5009420) (← links)
• (Q5021004) (← links)
• Deciding Parity Games in Quasi-polynomial Time (Q5073521) (← links)
• Synthesizing Optimally Resilient Controllers (Q5079759) (← links)
• Software Verification of Hyperproperties Beyond k-Safety (Q6487322) (← links)
• Guessing winning policies in LTL synthesis by semantic learning (Q6535642) (← links)
• Synthesizing permissive winning strategy templates for parity games (Q6535644) (← links)