A survey of stochastic -regular games
From MaRDI portal
Recommendations
- Publication:4343727
- Publication:3827824
- A Survey of Stochastic Games with Limsup and Liminf Objectives
- Mean-payoff games with \(\omega\)-regular specifications
- Quantitative solution of \(\omega\)-regular games
- A survey of partial-observation stochastic parity games
- Publication:3751400
- Stochastic games for \(N\) players
- \((s,S)\) equilibria in stochastic games
Cites work
- scientific article; zbMATH DE number 1617325 (Why is no real title available?)
- scientific article; zbMATH DE number 1670777 (Why is no real title available?)
- scientific article; zbMATH DE number 1670778 (Why is no real title available?)
- scientific article; zbMATH DE number 3128726 (Why is no real title available?)
- scientific article; zbMATH DE number 3990873 (Why is no real title available?)
- scientific article; zbMATH DE number 549853 (Why is no real title available?)
- scientific article; zbMATH DE number 1134975 (Why is no real title available?)
- scientific article; zbMATH DE number 1962853 (Why is no real title available?)
- scientific article; zbMATH DE number 1980933 (Why is no real title available?)
- scientific article; zbMATH DE number 2038762 (Why is no real title available?)
- scientific article; zbMATH DE number 2038772 (Why is no real title available?)
- scientific article; zbMATH DE number 2080757 (Why is no real title available?)
- scientific article; zbMATH DE number 1500523 (Why is no real title available?)
- scientific article; zbMATH DE number 1759629 (Why is no real title available?)
- scientific article; zbMATH DE number 1775458 (Why is no real title available?)
- scientific article; zbMATH DE number 941396 (Why is no real title available?)
- scientific article; zbMATH DE number 2086659 (Why is no real title available?)
- scientific article; zbMATH DE number 1863184 (Why is no real title available?)
- scientific article; zbMATH DE number 3257031 (Why is no real title available?)
- scientific article; zbMATH DE number 3341983 (Why is no real title available?)
- scientific article; zbMATH DE number 2209335 (Why is no real title available?)
- scientific article; zbMATH DE number 3189696 (Why is no real title available?)
- A deterministic subexponential algorithm for solving parity games
- A subexponential randomized algorithm for the simple stochastic game problem
- Algorithms for Omega-Regular Games with Imperfect Information
- Alternating-time temporal logic
- Automata, Languages and Programming
- Automata, Languages and Programming
- Borel determinacy
- CONCUR 2005 – Concurrency Theory
- Computer Science Logic
- Computer Science Logic
- Concurrent reachability games
- Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
- Equilibrium points in n -person games
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- Fair simulation
- Foundations of Software Science and Computation Structures
- Game Refinement Relations and Metrics
- Generalized Parity Games
- Infinite games on finitely coloured graphs with applications to automata on infinite trees
- Infinite games played on finite graphs
- Mathematical Foundations of Computer Science 2005
- Number of quantifiers is better than number of tape cells
- On the menbership problem for functional and multivalued dependencies in relational databases
- On the synthesis of discrete controllers for timed systems
- On the synthesis of strategies in infinite games
- Optimal Strategy Synthesis in Stochastic Müller Games
- Play to Test
- Positional strategies for mean payoff games
- Quantitative solution of \(\omega\)-regular games
- Quantitative stochastic parity games
- Recursive Concurrent Stochastic Games
- Results on the propositional \(\mu\)-calculus
- Solving Sequential Conditions by Finite-State Strategies
- Stay-in-a-set games
- Stochastic Games
- Stochastic Müller Games are PSPACE-Complete
- Stochastic games
- Stochastic limit-average games are in EXPTIME
- Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games
- Strategy Improvement for Stochastic Rabin and Streett Games
- Supervisory Control of a Class of Discrete Event Processes
- The Complexity of Markov Decision Processes
- The Complexity of Tree Automata and Logics of Programs
- The complexity of mean payoff games on graphs
- The complexity of probabilistic verification
- The complexity of quantitative concurrent parity games
- The complexity of stochastic games
- The determinacy of Blackwell games
- The element of surprise in timed games.
- Two-player stochastic games. I: A reduction
- Two-player stochastic games. II: The case of recursive games
Cited in
(48)- Stochastic games with disjunctions of multiple objectives
- Bounds for synchronizing Markov decision processes
- Parameterized Algorithms for Parity Games
- A survey of partial-observation stochastic parity games
- On the Complexity of Reachability in Parametric Markov Decision Processes
- Verification and control for probabilistic hybrid automata with finite bisimulations
- Verification and control of probabilistic rectangular hybrid automata
- Mean-payoff games with \(\omega\)-regular specifications
- Graph Games and Reactive Synthesis
- Iterated Boolean games
- Multi-agent verification and control with probabilistic model checking
- Automated Verification of Concurrent Stochastic Games
- Parameterized complexity of games with monotonically ordered \(\omega\)-regular objectives
- Two variable vs. linear temporal logic in model checking and games
- Decoy allocation games on graphs with temporal logic objectives
- Entropic risk for turn-based stochastic games
- Stochastic games with synchronizing objectives
- The Symbolic Approach to Repeated Games (Abstract)
- Symbolic verification and strategy synthesis for turn-based stochastic games
- On the relation between reactive synthesis and supervisory control of non-terminating processes
- Playing Against Fair Adversaries in Stochastic Games with Total Rewards
- scientific article; zbMATH DE number 7453078 (Why is no real title available?)
- Simplifying optimal strategies in \(\limsup\) and \(\liminf\) stochastic games
- Equilibrium in two-player stochastic games with shift-invariant payoffs
- Imperfect information in reactive modules games
- Model-checking iterated games
- On the determinacy of concurrent games on event structures with infinite winning sets
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
- Reachability and safety objectives in Markov decision processes on long but finite horizons
- A note on the Nash equilibria of some multi-player reachability/safety games
- Stochastic Müller Games are PSPACE-Complete
- Perfect information games where each player acts only once
- Symbolic model checking in non-Boolean domains
- From model checking to equilibrium checking: reactive modules for rational verification
- scientific article; zbMATH DE number 7561612 (Why is no real title available?)
- Comparison of algorithms for simple stochastic games
- Turn-based stochastic games
- Quantitative verification and strategy synthesis for stochastic games
- The uniform measure of simple regular sets of infinite trees
- Comparison of algorithms for simple stochastic games
- Selfish cops and passive robber: qualitative games
- The complexity of synchronizing Markov decision processes
- Stochastic window mean-payoff games
- On concurrent games with payoff
- Stochastic games with lexicographic objectives
- Automatic verification of concurrent stochastic systems
- scientific article; zbMATH DE number 7447744 (Why is no real title available?)
- Symbolic control for stochastic systems via finite parity games
This page was built for publication: A survey of stochastic \(\omega \)-regular games
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q414898)
