English
Related papers

Related papers: Determinacy Maximum

200 papers

In two-player games on graphs, the players move a token through a graph to produce an infinite path, which determines the winner of the game. Such games are central in formal methods since they model the interaction between a…

Computer Science and Game Theory · Computer Science 2023-06-22 Milad Aghajohari , Guy Avni , Thomas A. Henzinger

In this paper we study continuous-time two-player zero-sum optimal switching games on a finite horizon. Using the theory of doubly reflected BSDEs with interconnected barriers, we show that this game has a value and an equilibrium in the…

Optimization and Control · Mathematics 2018-06-04 Said Hamadène , Randall Martyr , John Moriarty

We prove two determinacy and decidability results about two-players stochastic reachability games with partial observation on both sides and finitely many states, signals and actions.

Computer Science and Game Theory · Computer Science 2008-11-26 Nathalie Bertrand , Blaise Genest , Hugo Gimbert

We introduce a set-valued solution concept, M equilibrium, to capture empirical regularities from over half a century of game-theory experiments. We show M equilibrium serves as a meta theory for various models that hitherto were considered…

Theoretical Economics · Economics 2021-04-20 Jacob K. Goeree , Philippos Louis

In this paper, some new criteria for detecting whether a finite game is potential are proposed by solving potential equations. The verification equations with the minimal number for checking a potential game are obtained for the first time.…

Computer Science and Game Theory · Computer Science 2015-04-29 Xinyun Liu , Jiandong Zhu

Infinite games where several players seek to coordinate under imperfect information are known to be intractable, unless the information flow is severely restricted. Examples of undecidable cases typically feature a situation where players…

Logic in Computer Science · Computer Science 2014-05-01 Dietmar Berwanger , Anup Basil Mathew

We show that under some general conditions the finite memory determinacy of a class of two-player win/lose games played on finite graphs implies the existence of a Nash equilibrium built from finite memory strategies for the corresponding…

Computer Science and Game Theory · Computer Science 2017-01-03 Stéphane Le Roux , Arno Pauly

Admissible strategies, i.e. those that are not dominated by any other strategy, are a typical rationality notion in game theory. In many classes of games this is justified by results showing that any strategy is admissible or dominated by…

Computer Science and Game Theory · Computer Science 2018-05-30 Nicolas Basset , Ismaël Jecker , Arno Pauly , Jean-François Raskin , Marie Van den Bogaard

This paper uses category theory to develop an entirely new approach to approximate game theory. Game theory is the study of how different agents within a multi-agent system take decisions. At its core, game theory asks what an optimal…

Computer Science and Game Theory · Computer Science 2025-09-26 Neil Ghani

This work lies in the fusion of experimental economics and data mining. It continues author's previous work on mining behaviour rules of human subjects from experimental data, where game-theoretic predictions partially fail to work.…

Computer Science and Game Theory · Computer Science 2012-11-13 Rustam Tagiew

We show that under some general conditions the finite memory determinacy of a class of two-player win/lose games played on finite graphs implies the existence of a Nash equilibrium built from finite memory strategies for the corresponding…

Computer Science and Game Theory · Computer Science 2016-07-13 Stéphane Le Roux , Arno Pauly

In the game theory literature, there appears to be little research on equilibrium selection for normal-form games with an infinite strategy space and discontinuous utility functions. Moreover, many existing selection methods are not…

Computer Science and Game Theory · Computer Science 2018-09-24 Yuke Li , A. Stephen Morse

Schmidt's game, and other similar intersection games have played an important role in recent years in applications to number theory, dynamics, and Diophantine approximation theory. These games are real games, that is, games in which the…

Logic · Mathematics 2017-12-05 Logan Crone , Lior Fishman , Stephen Jackson

We consider deterministic totally-ordered-time games. We present three axioms for strategies. We show that for any tuple of strategies that satisfy the axioms, there exists a unique complete history that is consistent with the strategy…

Theoretical Economics · Economics 2022-11-08 Tomohiko Kawamori

Coherent sets of desirable gamble sets is used as a model for representing an agents opinions and choice preferences under uncertainty. In this paper we provide some results about the axioms required for coherence and the natural extension…

Artificial Intelligence · Computer Science 2024-05-17 Catrin Campbell-Moore

We propose a game-theoretic framework that incorporates both incomplete information and general ambiguity attitudes on factors external to all players. Our starting point is players' preferences on payoff-distribution vectors, essentially…

Economics · Quantitative Finance 2017-04-04 Jian Yang

This paper extends Berge's maximum theorem for possibly noncompact action sets and unbounded cost functions to minimax problems and studies applications of these extensions to two-player zero-sum games with possibly noncompact action sets…

Optimization and Control · Mathematics 2017-09-14 Eugene A. Feinberg , Pavlo O. Kasyanov , Michael Z. Zgurovsky

In this paper we introduce the reactivity in decision-form games. The concept of reactivity allows us to give a natural concept of rationalizable solution for decision-form games: the solubility by elimination of sub-reactive strategies.…

Adaptation and Self-Organizing Systems · Physics 2011-03-07 David Carfì

We prove a number of results on the determinacy of $\sigma$-projective sets of reals, i.e., those belonging to the smallest pointclass containing the open sets and closed under complements, countable unions, and projections. We first prove…

Logic · Mathematics 2021-01-19 Juan P. Aguilera , Sandra Müller , Philipp Schlicht

This paper introduces a novel criterion, persuasiveness, to select equilibria in signaling games. In response to the Stiglitz critique, persuasiveness focuses on the comparison across equilibria. An equilibrium is more persuasive than an…

Theoretical Economics · Economics 2025-11-04 Haoyuan Zeng