English
Related papers

Related papers: Quasi-regular sequences and optimal schedules for …

200 papers

We study countably infinite stochastic 2-player games with reachability objectives. Our results provide a complete picture of the memory requirements of $\varepsilon$-optimal (resp. optimal) strategies. These results depend on the size of…

Computer Science and Game Theory · Computer Science 2024-07-03 Stefan Kiefer , Richard Mayr , Mahsa Shirmohammadi , Patrick Totzke

Ensuring that AI systems make strategic decisions aligned with the specified preferences in adversarial sequential interactions is a critical challenge for developing trustworthy AI systems, especially when the environment is stochastic and…

Computer Science and Game Theory · Computer Science 2025-01-28 Abhishek Ninad Kulkarni , Jie Fu , Ufuk Topcu

We study two-player reachability games on finite graphs. At each state the interaction between the players is concurrent and there is a stochastic Nature. Players also play stochastically. The literature tells us that 1) Player B, who wants…

Computer Science and Game Theory · Computer Science 2021-10-29 Benjamin Bordais , Patricia Bouyer , Stéphane Le Roux

We study a model of games that combines concurrency, imperfect information and stochastic aspects. Those are finite states games in which, at each round, the two players choose, simultaneously and independently, an action. Then a successor…

Formal Languages and Automata Theory · Computer Science 2011-08-31 Vincent Gripon , Olivier Serre

We consider a dynamical approach to sequential games. By restricting the convertibility relation over strategy profiles, we obtain a semi-potential (in the sense of Kukushkin), and we show that in finite games the corresponding restriction…

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

Protecting against multi-step attacks of uncertain duration and timing forces defenders into an indefinite, always ongoing, resource-intensive response. To effectively allocate resources, a defender must be able to analyze multi-step…

Cryptography and Security · Computer Science 2021-07-12 Alexander V. Outkin , Patricia V. Schulz , Timothy Schulz , Thomas D. Tarman , Ali Pinar

It is well-known that for infinitely repeated games, there are computable strategies that have best responses, but no computable best responses. These results were originally proved for either specific games (e.g., Prisoner's dilemma), or…

Computer Science and Game Theory · Computer Science 2020-06-11 Jakub Dargaj , Jakob Grue Simonsen

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

Adversarial attacks can generate adversarial inputs by applying small but intentionally worst-case perturbations to samples from the dataset, which leads to even state-of-the-art deep neural networks outputting incorrect answers with high…

Machine Learning · Computer Science 2024-01-08 Shorya Sharma

We consider concurrent stochastic games played on graphs with reachability and safety objectives. These games can be solved by value iteration as well as strategy iteration, each of them yielding a sequence of under-approximations of the…

Computer Science and Game Theory · Computer Science 2019-09-19 Julia Eisentraut , Jan Křetínský , Alexej Rotar

Designing distributed algorithms for multi-agent problems is vital for many emerging application domains, and game-theoretic approaches are emerging as a useful paradigm to design such algorithms. However, much of the emphasis of the…

Systems and Control · Electrical Eng. & Systems 2024-05-03 Rohit Konda , Rahul Chandan , David Grimsman , Jason R. Marden

We consider an autonomous navigation problem, whereby a traveler aims at traversing an environment in which an adversary tries to set an ambush. A two players zero sum game is introduced. Players' strategies are computed as random path…

Robotics · Computer Science 2016-12-08 Emmanuel Boidot , Aude Marzuoli , Eric Feron

This paper considers a game-theoretic formulation of the covert communications problem with finite blocklength, where the transmitter (Alice) can randomly vary her transmit power in different blocks, while the warden (Willie) can randomly…

Information Theory · Computer Science 2020-05-28 Alex S. Leong , Daniel E. Quevedo , Subhrakanti Dey

In this paper we investigate a differential game in which countably many dynamical objects pursue a single one. All the players perform simple motions. The duration of the game is fixed. The controls of a group of pursuers are subject to…

Optimization and Control · Mathematics 2014-10-10 Mehdi Salimi , Gafurjan Ibragimov , Stefan Siegmund , Somayeh Sharifi

Deriving competitive, distributed solutions to multi-agent problems is crucial for many developing application domains; Game theory has emerged as a useful framework to design such algorithms. However, much of the attention within this…

Systems and Control · Electrical Eng. & Systems 2024-06-27 Rohit Konda , Rahul Chandan , David Grimsman , Jason R. Marden

A new surveillance-evasion differential game is posed and solved in which an agile pursuer (the prying pedestrian) seeks to remain within a given surveillance range of a less agile evader that aims to escape. In contrast to previous…

Systems and Control · Electrical Eng. & Systems 2025-05-13 Philipp Braun , Timothy L. Molloy , Iman Shames

This work considers two-player zero-sum semi-Markov games with incomplete information on one side and perfect observation. At the beginning, the system selects a game type according to a given probability distribution and informs to Player…

Optimization and Control · Mathematics 2021-07-16 Fang Chen , Xianping Guo , Zhong-Wei Liao

We present efficient algorithms for computing optimal or approximately optimal strategies in a zero-sum game for which Player I has n pure strategies and Player II has an arbitrary number of pure strategies. We assume that for any given…

Optimization and Control · Mathematics 2018-06-21 Lisa Hellerstein , Thomas Lidbetter , Daniel Pirutinsky

Admissibility has been studied for games of infinite duration with Boolean objectives. We extend here this study to games of infinite duration with quantitative objectives. First, we show that, un- der the assumption that optimal worst-case…

Logic in Computer Science · Computer Science 2016-11-29 Romain Brenguier , Guillermo A. Pérez , Jean-François Raskin , Ocan Sankur

We consider two-player games played on finite colored graphs where the goal is the construction of an infinite path with one of the following frequency-related properties: (i) all colors occur with the same asymptotic frequency, (ii) there…

Computer Science and Game Theory · Computer Science 2010-06-29 Alessandro Bianco , Marco Faella , Fabio Mogavero , Aniello Murano