Pages that link to "Item:Q414898"

The following pages link to A survey of stochastic \(\omega \)-regular games (Q414898):

Displaying 41 items.

• On concurrent games with payoff (Q265795) (← links)
• Quantitative verification and strategy synthesis for stochastic games (Q328165) (← links)
• Selfish cops and passive robber: qualitative games (Q529065) (← links)
• Simplifying optimal strategies in \(\limsup\) and \(\liminf\) stochastic games (Q1627843) (← links)
• Imperfect information in reactive modules games (Q1641035) (← links)
• Model-checking iterated games (Q1674862) (← links)
• Verification and control for probabilistic hybrid automata with finite bisimulations (Q1734511) (← links)
• The complexity of synchronizing Markov decision processes (Q1740670) (← links)
• Perfect information games where each player acts only once (Q1996105) (← links)
• The uniform measure of simple regular sets of infinite trees (Q2029602) (← links)
• Decoy allocation games on graphs with temporal logic objectives (Q2056945) (← links)
• A note on the Nash equilibria of some multi-player reachability/safety games (Q2068818) (← links)
• Bounds for synchronizing Markov decision processes (Q2097220) (← links)
• Comparison of algorithms for simple stochastic games (Q2105472) (← links)
• Automatic verification of concurrent stochastic systems (Q2147696) (← links)
• On the relation between reactive synthesis and supervisory control of non-terminating processes (Q2177781) (← links)
• Reachability and safety objectives in Markov decision processes on long but finite horizons (Q2188953) (← links)
• Iterated Boolean games (Q2346405) (← links)
• From model checking to equilibrium checking: reactive modules for rational verification (Q2407463) (← links)
• On the determinacy of concurrent games on event structures with infinite winning sets (Q2453582) (← links)
• Mean-payoff games with \(\omega\)-regular specifications (Q2669180) (← links)
• Verification and Control of Probabilistic Rectangular Hybrid Automata (Q2945577) (← links)
• Parameterized Algorithms for Parity Games (Q2946404) (← links)
• Two Variable vs. Linear Temporal Logic in Model Checking and Games (Q3090852) (← links)
• Graph Games and Reactive Synthesis (Q3176385) (← links)
• Symbolic Model Checking in Non-Boolean Domains (Q3176389) (← links)
• (Q3384891) (← links)
• (Q5020524) (← links)
• (Q5021007) (← links)
• (Q5092320) (← links)
• On the Complexity of Reachability in Parametric Markov Decision Processes (Q5875375) (← links)
• Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (Q5919894) (← links)
• Equilibrium in two-player stochastic games with shift-invariant payoffs (Q6057758) (← links)
• Symbolic control for stochastic systems via finite parity games (Q6122792) (← links)
• (Q6134270) (← links)
• Multi-agent verification and control with probabilistic model checking (Q6546442) (← links)
• Stochastic window mean-payoff games (Q6629449) (← links)
• Stochastic games with lexicographic objectives (Q6632196) (← links)
• Entropic risk for turn-based stochastic games (Q6647757) (← links)
• Stochastic games with synchronizing objectives (Q6649478) (← links)
• Stochastic games with disjunctions of multiple objectives (Q6649516) (← links)