Quantitative stochastic parity games
From MaRDI portal
Publication:5501249
Recommendations
Cited in
(63)- Qualitative concurrent parity games
- Improving parity games in practice
- Model-Free Reinforcement Learning for Stochastic Parity Games
- scientific article; zbMATH DE number 7561612 (Why is no real title available?)
- scientific article; zbMATH DE number 7649916 (Why is no real title available?)
- Deciding Parity Games in Quasi-polynomial Time
- Qualitative reachability in stochastic BPA games
- Stochastic parity games on lossy channel systems
- Life is random, time is not: Markov decision processes with window objectives
- A survey of stochastic -regular games
- Probabilistic Weighted Automata
- Symbolic verification and strategy synthesis for turn-based stochastic games
- Regularity in PDA games revisited
- Decision Problems for Nash Equilibria in Stochastic Games
- Simple stochastic games with almost-sure energy-parity objectives are in NP and conp
- Probabilistic opacity for Markov decision processes
- Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games
- A simple algorithm for solving qualitative probabilistic parity games
- Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
- Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
- Robustness of structurally equivalent concurrent parity games
- Model checking probabilistic systems
- The Complexity of Synthesis from Probabilistic Components
- Solving simple stochastic tail games
- Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition
- The complexity of stochastic Müller games
- Model-Checking ω-Regular Properties of Interval Markov Chains
- An \(O(n^2)\) time algorithm for alternating Büchi games
- Nearest fixed points and concurrent priority games
- Parity objectives in countable MDPs
- Measuring and synthesizing systems in probabilistic environments
- Submixing and shift-invariant stochastic games
- Solving parity games using an automata-based algorithm
- CEGAR for compositional analysis of qualitative properties in Markov decision processes
- Quantitative solution of \(\omega\)-regular games
- Quantitative verification and strategy synthesis for stochastic games
- Quantitative solution of omega-regular games
- Randomness for free
- Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games
- Graph Games and Reactive Synthesis
- Strategy Improvement for Stochastic Rabin and Streett Games
- Stochastic Games with Finitary Objectives
- Randomization in automata on infinite trees
- Quantitative games with interval objectives
- Latticed-LTL synthesis in the presence of noisy inputs
- Measuring Permissivity in Finite Games
- Monadic Second Order Logic with Measure and Category Quantifiers
- Concurrent reachability games
- Qualitative concurrent parity games: bounded rationality
- A convex programming-based algorithm for mean payoff stochastic games with perfect information
- Strategy logic
- Subgame optimal strategies in finite concurrent games with prefix-independent objectives
- On canonical forms for zero-sum stochastic mean payoff games
- Automatic verification of competitive stochastic systems
- Simplifying optimal strategies in \(\limsup\) and \(\liminf\) stochastic games
- Computer Science Logic
- Recursive Concurrent Stochastic Games
- Equilibrium in two-player stochastic games with shift-invariant payoffs
- Satisfiability of quantitative probabilistic CTL: rise to the challenge
- Value Iteration
- A direct symbolic algorithm for solving stochastic Rabin games
- A survey of partial-observation stochastic parity games
- Reduction of stochastic parity to stochastic mean-payoff games
This page was built for publication: Quantitative stochastic parity games
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5501249)
