The determinacy of Blackwell games

From MaRDI portal
Publication:4254699


DOI10.2307/2586667zbMath0926.03071WikidataQ29026904 ScholiaQ29026904MaRDI QIDQ4254699

Donald A. Martin

Publication date: 29 November 1999

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586667


91A05: 2-person games

91A44: Games involving topology, set theory, or logic

03E60: Determinacy principles


Related Items

Unnamed Item, Unnamed Item, Imperfect Information in Logic and Concurrent Games, OBLIGATION BLACKWELL GAMES AND P-AUTOMATA, Stochastic Games, Regularity in PDA Games Revisited, On Values of Games, Stochastic Müller Games are PSPACE-Complete, Unnamed Item, Unnamed Item, Stochastic games, Combinations of Qualitative Winning for Stochastic Parity Games, Automated Verification of Concurrent Stochastic Games, Symbolic verification and strategy synthesis for turn-based stochastic games, On values of repeated games with signals, On concurrent games with payoff, Distributed probabilistic and quantum strategies, The challenge of non-zero-sum stochastic games, Quantitative verification and strategy synthesis for stochastic games, Determinacy and optimal strategies in infinite-state stochastic reachability games, A survey of stochastic \(\omega \)-regular games, The complexity of stochastic Müller games, A prequential test for exchangeable theories, Infinite sequential games with perfect but incomplete information, Stochastic games with information lag, ``Backward coinduction, Nash equilibrium and the rationality of escalation, Qualitative reachability in stochastic BPA games, The structure of non-zero-sum stochastic games, Randomness for free, Tug-of-war with noise: a game-theoretic view of the \(p\)-Laplacian, A nonmanipulable test, Simplifying optimal strategies in \(\limsup\) and \(\liminf\) stochastic games, Extending finite-memory determinacy to multi-player games, Quantitative solution of omega-regular games, The axiom of real Blackwell determinacy, Absolutely minimal Lipschitz extension of tree-valued mappings, Discrete stop-or-go games, Subgame maxmin strategies in zero-sum stochastic games with tolerance levels, Hausdorff dimension regularity properties and games, Automatic verification of concurrent stochastic systems, Equilibria in multi-player multi-outcome infinite sequential games, Simple stochastic games with almost-sure energy-parity objectives are in NP and conp, Automatic verification of competitive stochastic systems, A survey of partial-observation stochastic parity games, Strategy synthesis for multi-dimensional quantitative objectives, Correlated equilibria in stochastic games with Borel measurable payoffs, Determinacy of games with stochastic eventual perfect monitoring, Recursive stochastic games with positive rewards, Big vee: the story of a function, an algorithm, and three mathematical worlds, The quantitative linear-time-branching-time spectrum, On the determinacy of concurrent games on event structures with infinite winning sets, Concurrent games with tail objectives, Concurrent reachability games, Value and perfection in stochastic games, Zero-sum dynamic games and a stochastic variation of Ramsey's theorem, A global wellordering of norms defined via Blackwell games, 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000, Recursive Markov Decision Processes and Recursive Stochastic Games, DISCOUNTING AND AVERAGING IN GAMES ACROSS TIME SCALES, BLACKWELL OPTIMAL STRATEGIES IN PRIORITY MEAN-PAYOFF GAMES, Nearest Fixed Points and Concurrent Priority Games, Tug-of-war and the infinity Laplacian, The determinacy of infinite games with eventual perfect monitoring, Network Games with and without Synchroneity, The Strength of Blackwell determinacy, Graph Games and Reactive Synthesis, Symbolic Model Checking in Non-Boolean Domains, Stochastic Games with Finitary Objectives, 10th Asian Logic Conference, Decision Problems for Nash Equilibria in Stochastic Games



Cites Work