English
Related papers

Related papers: Differential games, locality and model checking fo…

200 papers

This paper investigates the discrete-time asynchronous games in which noncooperative agents seek to minimize their individual cost functions. Building on the assumption of partial asynchronism, i.e., each agent updates at least once within…

Optimization and Control · Mathematics 2025-08-13 Zifan Wang , Xinlei Yi , Michael M. Zavlanos , Karl H. Johansson

The maintenance of cooperation in the presence of spatial restrictions has been studied extensively. It is well-established that the underlying graph topology can significantly influence the outcome of games on graphs. Maintenance of…

Physics and Society · Physics 2021-10-27 Saptarshi Sinha , Deep Nath , Soumen Roy

In numerous positional games the identity of the winner is easily determined. In this case one of the more interesting questions is not {\em who} wins but rather {\em how fast} can one win. These type of problems were studied earlier for…

Combinatorics · Mathematics 2008-06-03 Dan Hefetz , Michael Krivelevich , Miloš Stojaković , Tibor Szabó

Recent successes of game-theoretic formulations in ML have caused a resurgence of research interest in differentiable games. Overwhelmingly, that research focuses on methods and upper bounds on their speed of convergence. In this work, we…

Machine Learning · Computer Science 2020-09-16 Adam Ibrahim , Waïss Azizian , Gauthier Gidel , Ioannis Mitliagkas

The traditional game of cops and robbers is played on undirected graph. Recently, the same game played on directed graph is getting attention by more and more people. We knew that if we forbid some subgraph we can bound the cop number of…

Combinatorics · Mathematics 2020-01-29 Mingrui Liu

Federated learning is a setting where agents, each with access to their own data source, combine models from local data to create a global model. If agents are drawing their data from different distributions, though, federated learning…

Computer Science and Game Theory · Computer Science 2020-12-18 Kate Donahue , Jon Kleinberg

We propose a family of non-locality unique games for 2 parties based on a square lattice on an arbitrary surface. We show that, due to structural similarities with error correction codes of Kitaev for fault tolerant quantum computation, the…

Quantum Physics · Physics 2020-06-16 Monika Rosicka , Paweł Mazurek , Andrzej Grudka , Michał Horodecki

We prove game-theoretic versions of several classical results on nonrepetitive sequences, showing the existence of winning strategies using an extension of the Lov\'asz Local Lemma which can dramatically reduce the number of edges needed in…

Combinatorics · Mathematics 2010-10-28 Wesley Pegden

We consider a general class of nonzero-sum $N$-player stochastic games with impulse controls, where players control the underlying dynamics with discrete interventions. We adopt a verification approach and provide sufficient conditions for…

Optimization and Control · Mathematics 2020-10-06 Matteo Basei , Haoyang Cao , Xin Guo

The problem of determining the number of "flooding operations" required to make a given coloured graph monochromatic in the one-player combinatorial game Flood-It has been studied extensively from an algorithmic point of view, but basic…

Combinatorics · Mathematics 2023-06-22 Kitty Meeks , Dominik K. Vu

In this work, we introduce graphical modelsfor multi-player game theory, and give powerful algorithms for computing their Nash equilibria in certain cases. An n-player game is given by an undirected graph on n nodes and a set of n local…

Computer Science and Game Theory · Computer Science 2015-03-10 Michael Kearns , Michael L. Littman , Satinder Singh

In this paper, we study $(1 : b)$ Avoider-Enforcer games played on the edge set of the complete graph on $n$ vertices. For every constant $k\geq 3$ we analyse the $k$-star game, where Avoider tries to avoid claiming $k$ edges incident to…

Several variants of nonlocal games have been considered in the study of quantum entanglement and nonlocality. This paper concerns two of these variants, called quantum-classical games and extended nonlocal games. We give a construction of…

Quantum Physics · Physics 2017-09-07 Vincent Russo , John Watrous

We consider a game for a continuum of non-identical players evolving on a finite state space. Their heterogeneous interactions are represented by a graphon, which can be viewed as the limit of a dense random graph. The player's transition…

Optimization and Control · Mathematics 2021-06-16 Alexander Aurell , Rene Carmona , Gokce Dayanikli , Mathieu Lauriere

We introduce the idea of an n-simplex graph and games upon simplicial complexes. We then define moves on a labeled graph and pose the problem of whether given two labelings of a graph it is possible to change one into another via these…

Combinatorics · Mathematics 2007-05-23 Marc Zucker

In the graph sharing game, two players share a connected graph $G$ with non-negative weights assigned to the vertices, claiming and collecting the vertices of $G$ one by one, while keeping the set of all claimed vertices connected through…

Combinatorics · Mathematics 2017-04-21 Adam Gągol , Piotr Micek , Bartosz Walczak

Consider concurrent, infinite duration, two-player win/lose games played on graphs. If the winning condition satisfies some simple requirement, the existence of Player 1 winning (finite-memory) strategies is equivalent to the existence of…

Logic in Computer Science · Computer Science 2018-05-01 Stephane Le Roux

We study analogues of $\mathcal{F}$-saturation games, first introduced by Furedi, Reimer and Seress in 1991, and named as such by West. We examine analogous games on directed graphs, and show tight results on the walk-avoiding game. We also…

Combinatorics · Mathematics 2014-09-03 Jonathan D. Lee , Ago-Erik Riet

A fundamental task in mobile robotics is to keep an agent under surveillance using an autonomous robotic platform equipped with a sensing device. Using differential game theory, we study a particular setup of the previous problem. A…

Robotics · Computer Science 2024-09-16 Rodrigo Saavedra , Ubaldo Ruiz

The game subset take-away begins with a simplicial complex \Delta. Two players take turns removing any element of \Delta as well as all other elements which contain it, and the last player able to move wins. Graph Chomp is a special case of…

Combinatorics · Mathematics 2015-03-17 Tirasan Khandhawit , Lynnelle Ye