scientific article; zbMATH DE number 549853

From MaRDI portal
Publication:4287357

zbMath0808.90141MaRDI QIDQ4287357

Anne Condon

Publication date: 15 March 1995


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items (56)

Expected reachability-time gamesSymmetric Strategy ImprovementGraph Games and Reactive SynthesisA short certificate of the number of universal optimal strategies for stopping simple stochastic gamesQuantitative verification and strategy synthesis for stochastic gamesConstant Rank Two-Player Games are PPAD-hardStrategy improvement for concurrent reachability and turn-based stochastic safety gamesA combinatorial strongly subexponential strategy improvement algorithm for mean payoff gamesA game-based abstraction-refinement framework for Markov decision processesUnnamed ItemUnnamed ItemUnnamed ItemValue iteration for simple stochastic games: stopping criterion and learning algorithmOn Pure Nash Equilibria in Stochastic GamesA pseudo-polynomial algorithm for mean payoff stochastic games with perfect information and few random positionsInfinite-duration poorman-bidding gamesParity Games and Propositional ProofsConvex lattice equation systemsSolving Simple Stochastic GamesA Simple P-Matrix Linear Complementarity Problem for Discounted GamesA survey of stochastic \(\omega \)-regular gamesFixpoint Theory -- Upside DownThe complexity of stochastic Müller gamesOptimistic and topological value iteration for simple stochastic gamesSynthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity GamesValue IterationOn the complexity of computational problems associated with simple stochastic gamesIndependent learning in stochastic gamesOn strategy improvement algorithms for simple stochastic gamesUnnamed ItemChess-like games may have no uniform Nash equilibria even in mixed strategiesEquilibria, fixed points, and complexity classesA note on the approximation of mean-payoff gamesAnother sub-exponential algorithm for the simple stochastic gameUnique sink orientations of gridsFixpoint theory -- upside downConcurrent reachability gamesAutomatizability and Simple Stochastic GamesUnnamed ItemAutomatic verification of competitive stochastic systemsApproximation schemes for stochastic mean payoff games with perfect information and few random positionsThe complexity of solving reachability games using value and strategy iterationUnnamed ItemUnnamed ItemUnnamed ItemOn Solving Mean Payoff Games Using Pivoting AlgorithmsSimple Stochastic Games with Few Random Vertices Are Easy to SolveStochastic Müller Games are PSPACE-CompleteUnnamed ItemOptimally Resilient Strategies in Pushdown Safety GamesA non-iterative algorithm for generalized pig gamesInfinite-Duration Bidding GamesThe role of quantum correlations in cop and robber gameComparison of algorithms for simple stochastic gamesCombinatorial structure and randomized subexponential algorithms for infinite gamesVerification of multiplayer stochastic games via abstract dependency graphs




This page was built for publication: