English
Related papers

Related papers: Random Fruits on the Zielonka Tree

200 papers

Animal behavior and evolution can often be described by game-theoretic models. Although in many situations, the number of players is very large, their strategic interactions are usually decomposed into a sum of two-player games. Only…

Populations and Evolution · Quantitative Biology 2007-05-23 Dominik Kaminski , Jacek Miekisz , Marcin Zaborowski

This paper investigates Nash equilibria (NEs) in multi-player turn-based games on graphs, where player preferences are modeled as $\omega$-automatic relations via deterministic parity automata. Unlike much of the existing literature, which…

Logic in Computer Science · Computer Science 2026-01-23 Véronique Bruyère , Christophe Grandmont , Jean-François Raskin

We propose a machine learning framework to synthesize reactive controllers for systems whose interactions with their adversarial environment are modeled by infinite-duration, two-player games over (potentially) infinite graphs. Our…

Computer Science and Game Theory · Computer Science 2020-11-03 Daniel Neider , Oliver Markgraf

We provide results of a deterministic approximation for non-Markovian stochastic processes modeling finite populations of individuals who recurrently play symmetric finite games and imitate each other according to payoffs. We show that a…

Dynamical Systems · Mathematics 2023-06-05 Ozgur Aydogmus , Yun Kang

This paper establishes that a class of $N$-player stochastic games with singular controls, either of bounded velocity or of finite variation, can both be approximated by mean field games (MFGs) with singular controls of bounded velocity.…

Optimization and Control · Mathematics 2025-09-23 Haoyang Cao , Xin Guo , Joon Seok Lee

We consider a stochastic game of control and stopping specified in terms of a process $X_t=-\theta \Lambda_t+W_t$, representing the holdings of Player 1, where $W$ is a Brownian motion, $\theta$ is a Bernoulli random variable indicating…

Optimization and Control · Mathematics 2020-10-09 Erik Ekström , Kristoffer Lindensjö , Marcus Olofsson

Metaheuristics are stochastic optimization algorithms that mimic natural processes to find optimal solutions to complex problems. The success of metaheuristics largely depends on the ability to effectively explore and exploit the search…

Neural and Evolutionary Computing · Computer Science 2024-11-26 Salar Farahmand-Tabar

We propose a stochastic first-order algorithm to learn the rationality parameters of simultaneous and non-cooperative potential games, i.e., the parameters of the agents' optimization problems. Our technique combines (i.) an active-set step…

Optimization and Control · Mathematics 2023-07-31 Stefan Clarke , Gabriele Dragotto , Jaime Fernández Fisac , Bartolomeo Stellato

We propose a method to construct finite-state reactive controllers for systems whose interactions with their adversarial environment are modeled by infinite-duration two-player games over (possibly) infinite graphs. The proposed method…

Formal Languages and Automata Theory · Computer Science 2016-01-08 Daniel Neider , Ufuk Topcu

We study an atomic signaling game under stochastic evolutionary dynamics. There is a finite number of players who repeatedly update from a finite number of available languages/signaling strategies. Players imitate the most fit agents with…

Probability · Mathematics 2013-12-23 Michael J. Fox , Behrouz Touri , Jeff S. Shamma

Zero-determinant strategies are memory-one strategies in repeated games which unilaterally enforce linear relations between expected payoffs of players. Recently, the concept of zero-determinant strategies was extended to the class of…

Optimization and Control · Mathematics 2022-09-07 Masahiko Ueda

The Minority Game is a simple model for the collective behavior of agents in an idealized situation where they have to compete through adaptation for a finite resource. This review summarizes the statistical mechanics community efforts to…

Disordered Systems and Neural Networks · Physics 2007-05-23 Esteban Moro

Stochastic patrol routing is known to be advantageous in adversarial settings; however, the optimal choice of stochastic routing strategy is dependent on a model of the adversary. We adopt a worst-case omniscient adversary model from the…

Systems and Control · Electrical Eng. & Systems 2025-04-10 Yohan John , Gilberto Diaz-Garcia , Xiaoming Duan , Jason R. Marden , Francesco Bullo

Game logic is a dynamic modal logic which models strategic two person games; it contains propositional dynamic logic (PDL) as a fragment. We propose an interpretation of game logic based on stochastic effectivity functions. A definition of…

Logic in Computer Science · Computer Science 2014-04-01 Ernst-Erich Doberkat

We consider simple stochastic games $\mathcal G$ with energy-parity objectives, a combination of quantitative rewards with a qualitative parity condition. The Maximizer tries to avoid running out of energy while simultaneously satisfying a…

Computer Science and Game Theory · Computer Science 2023-07-13 Mohan Dantam , Richard Mayr

We investigate a stochastic differential game in which a major player has a private information (the knowledge of a random variable), which she discloses through her control to a population of small players playing in a Nash Mean Field Game…

Optimization and Control · Mathematics 2023-11-28 Philippe Bergault , Pierre Cardaliaguet , Catherine Rainer

Transmitters of a multiple access channel are assumed to freely choose their power control strategy in order to be energy-efficient. We show that in a stochastic game framework, we can develop energy-efficient distributed control strategies…

Computer Science and Game Theory · Computer Science 2011-07-25 François Mériaux , Maël Le Treust , Samson Lasaulce , Michel Kieffer

In mean-payoff games, the objective of the protagonist is to ensure that the limit average of an infinite sequence of numeric weights is nonnegative. In energy games, the objective is to ensure that the running sum of weights is always…

Computer Science and Game Theory · Computer Science 2012-09-17 Yaron Velner , Krishnendu Chatterjee , Laurent Doyen , Thomas A. Henzinger , Alexander Rabinovich , Jean-Francois Raskin

We consider quantitative notions of parity automaton and parity game aimed at modelling resource-aware behaviour, and study (memory-full) strategies for exhibiting accepting runs that require a minimum amount of initial resources,…

Logic in Computer Science · Computer Science 2019-09-18 Corina Cîrstea

We consider zero sum stochastic games. For every discount factor $\lambda$, a time normalization allows to represent the game as being played on the interval [0, 1]. We introduce the trajectories of cumulated expected payoff and of…

Optimization and Control · Mathematics 2018-12-21 Sylvain Sorin , Guillaume Vigeral