中文
相关论文

相关论文: Stochastic Timed Games Revisited

200 篇论文

Multi-time-scale stochastic approximation is an iterative algorithm for finding the fixed point of a set of $N$ coupled operators given their noisy samples. It has been observed that due to the coupling between the decision variables and…

最优化与控制 · 数学 2024-09-13 Sihan Zeng , Thinh T. Doan

2.5 player parity games combine the challenges posed by 2.5 player reachability games and the qualitative analysis of parity games. These two types of problems are best approached with different types of algorithms: strategy improvement…

计算机科学中的逻辑 · 计算机科学 2016-07-07 Ernst Moritz Hahn , Sven Schewe , Andrea Turrini , Lijun Zhang

The value of a finite-state two-player zero-sum stochastic game with limit-average payoff can be approximated to within $\epsilon$ in time exponential in a polynomial in the size of the game times polynomial in logarithmic in…

计算机科学与博弈论 · 计算机科学 2008-12-18 Krishnendu Chatterjee , Rupak Majumdar , Thomas A. Henzinger

We examine the problem of the existence of optimal deterministic stationary strategiesintwo-players antagonistic (zero-sum) perfect information stochastic games with finitely many states and actions.We show that the existenceof such…

计算机科学与博弈论 · 计算机科学 2016-11-28 Hugo Gimbert , Wieslaw Zielonka

We consider a distributed stochastic approximation (SA) scheme for computing an equilibrium of a stochastic Nash game. Standard SA schemes employ diminishing steplength sequences that are square summable but not summable. Such requirements…

最优化与控制 · 数学 2013-03-20 Farzad Yousefian , Angelia Nedich , Uday V. Shanbhag

We consider 2-player games played on a finite state space for infinite rounds. The games are concurrent: in each round, the two players choose their moves simultaneously; the current state and the moves determine the successor. We consider…

计算机科学与博弈论 · 计算机科学 2013-06-21 Krishnendu Chatterjee

We study the memory resources required for near-optimal play in two-player zero-sum stochastic games with the long-run average payoff. Although optimal strategies may not exist in such games, near-optimal strategies always do. Mertens and…

计算机科学与博弈论 · 计算机科学 2025-05-06 Kristoffer Arnsfelt Hansen , Rasmus Ibsen-Jensen , Abraham Neyman

A strategy profile in a multi-player game is a Nash equilibrium if no player can unilaterally deviate to achieve a strictly better payoff. A profile is an $\epsilon$-Nash equilibrium if no player can gain more than $\epsilon$ by…

计算机科学与博弈论 · 计算机科学 2026-01-27 Ali Asadi , Léonard Brice , Krishnendu Chatterjee , K. S. Thejaswini

We study the problem of deciding the winner of reachability switching games for zero-, one-, and two-player variants. Switching games provide a deterministic analogue of stochastic games. We show that the zero-player case is NL-hard, the…

形式语言与自动机理论 · 计算机科学 2023-06-22 John Fearnley , Martin Gairing , Matthias Mnich , Rahul Savani

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…

形式语言与自动机理论 · 计算机科学 2011-08-31 Vincent Gripon , Olivier Serre

We present a new approach to solving games with a countably or uncountably infinite number of players. Such games are often used to model multiagent systems with a large number of agents. The latter are frequently encountered in economics,…

计算机科学与博弈论 · 计算机科学 2025-01-17 Carlos Martin , Tuomas Sandholm

Potential game is an emerging notion and framework for studying N-player games, especially with heterogeneous players. In this paper, we build an analytical framework for dynamic potential games. We prove that a game is a dynamic potential…

最优化与控制 · 数学 2024-09-09 Xin Guo , Yufei Zhang

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…

最优化与控制 · 数学 2020-10-06 Matteo Basei , Haoyang Cao , Xin Guo

Stochastic two-player games model systems with an environment that is both adversarial and stochastic. In this paper, we study the expected value of bounded quantitative prefix-independent objectives in the context of stochastic games. We…

计算机科学与博弈论 · 计算机科学 2025-08-01 Laurent Doyen , Pranshu Gaba , Shibashis Guha

Constraint linear-time temporal logic (CLTL) is an extension of LTL that is interpreted on sequences of valuations of variables over an infinite domain. The atomic formulas are interpreted as constraints on the valuations. The atomic…

计算机科学中的逻辑 · 计算机科学 2022-07-15 Ashwin Bhaskar , M. Praveen

We present a systematic investigation of the quantum games, constructed using a novel repeated game protocol, when played repeatedly ad infinitum. We focus on establishing that such repeated games -- by virtue of inherent quantum-mechanical…

量子物理 · 物理学 2024-02-27 Archan Mukhopadhyay , Saikat Sur , Tanay Saha , Shubhadeep Sadhukhan , Sagar Chakraborty

The success of adversarial formulations in machine learning has brought renewed motivation for smooth games. In this work, we focus on the class of stochastic Hamiltonian methods and provide the first convergence guarantees for certain…

In this paper, we settle the sampling complexity of solving discounted two-player turn-based zero-sum stochastic games up to polylogarithmic factors. Given a stochastic game with discount factor $\gamma\in(0,1)$ we provide an algorithm that…

机器学习 · 计算机科学 2019-08-30 Aaron Sidford , Mengdi Wang , Lin F. Yang , Yinyu Ye

This paper considers a class of reinforcement-learning that belongs to the family of Learning Automata and provides a stochastic-stability analysis in strategic-form games. For this class of dynamics, convergence to pure Nash equilibria has…

计算机科学与博弈论 · 计算机科学 2017-02-28 Georgios C. Chasparis

Two-player zero-sum games are a well-established model for synthesising controllers that optimise some performance criterion. In such games one player represents the controller, while the other describes the (adversarial) environment, and…

计算机科学与博弈论 · 计算机科学 2010-06-04 Marta Kwiatkowska , Gethin Norman , Ashutosh Trivedi