Image de couverture de livre

The Value Problem for Weighted Timed Games with Two Clocks is Undecidable

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Guilmant, Quentin, Ouaknine, Joël, Vialard, Isa
Format:	Preprint
Publié:	2025
Sujets:	Computer Science and Game Theory
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Deciding the Value of Two-Clock Almost Non-Zeno Weighted Timed Games
par: Vialard, Isa
Publié: (2025)

Decidability of One-Clock Weighted Timed Games with Arbitrary Weights
par: Monmege, Benjamin, et autres
Publié: (2022)

Synthesis of Robust Optimal Strategies in Weighted Timed Games
par: Monmege, Benjamin, et autres
Publié: (2024)

Playing Stochastically in Weighted Timed Games to Emulate Memory
par: Monmege, Benjamin, et autres
Publié: (2021)

The 2-Dimensional Constraint Loop Problem is Decidable
par: Guilmant, Quentin, et autres
Publié: (2024)

Online Scalarization in Vector-Valued Games
par: Asadollahi, Ehsan, et autres
Publié: (2026)

The Value of Ambiguous Commitments in Multi-Follower Games
par: Collina, Natalie, et autres
Publié: (2024)

The Value of Compromising Strategic Intent in General Lotto Games
par: Diaz-Garcia, Gilberto, et autres
Publié: (2024)

Clock Auctions Augmented with Unreliable Advice
par: Gkatzelis, Vasilis, et autres
Publié: (2024)

Universal Complexity Bounds Based on Value Iteration for Stochastic Mean Payoff Games and Entropy Games
par: Allamigeon, Xavier, et autres
Publié: (2022)

A New Value for Cooperative Games on Intersection-Closed Systems
par: Černý, Martin
Publié: (2025)

Pool Formation in Oceanic Games: Shapley Value and Proportional Sharing
par: Kiayias, Aggelos, et autres
Publié: (2025)

Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights
par: Asadi, Ali, et autres
Publié: (2024)

Commitment to Sparse Strategies in Two-Player Games
par: Afiouni, Salam, et autres
Publié: (2024)

Study and Improvement of Search Algorithms in Multi-Player Perfect-Information Games
par: Cohen-Solal, Quentin
Publié: (2026)

Beyond Arbitrary Allocations: Security Values in Constrained General Lotto Games
par: Paarporn, Keith, et autres
Publié: (2026)

GUARD: Constructing Realistic Two-Player Matrix and Security Games for Benchmarking Game-Theoretic Algorithms
par: Krever, Noah, et autres
Publié: (2025)

Job-Scheduling Games with Time-Dependent Processing Times
par: Borenstein, Ido, et autres
Publié: (2026)

Solving Two-Player Games under Progress Assumptions
par: Schmuck, Anne-Kathrin, et autres
Publié: (2023)

The Complexity of Two-Team Polymatrix Games with Independent Adversaries
par: Hollender, Alexandros, et autres
Publié: (2024)

Timing Games: Probabilistic backrunning and spam
par: Mazorra, Bruno, et autres
Publié: (2026)

Contract-Based Distributed Synthesis in Two-Objective Parity Games
par: Anand, Ashwani, et autres
Publié: (2023)

Games on Graphs: A Time-Efficient Algorithm for Solving Finite Reachability and Safety Games
par: Giannetti, Christian
Publié: (2024)

Two-Player Zero-Sum Differential Games with One-Sided Information
par: Ghimire, Mukesh, et autres
Publié: (2025)

Valuing the Electricity Produced Locally in Renewable Energy Communities through Noncooperative Resources Scheduling Games
par: Sadoine, Louise, et autres
Publié: (2023)

From First-Order to Second-Order Rationality: Advancing Game Convergence with Dynamic Weighted Fictitious Play
par: Ju, Qi, et autres
Publié: (2024)

Understanding Optimal Portfolios of Strategies for Solving Two-player Zero-sum Games
par: Drabent, Karolina, et autres
Publié: (2025)

Design and Characterization of Strategy-Proof Mechanisms for Two-Facility Game on a Line
par: Lu, Pinyan, et autres
Publié: (2024)

Hedonic Diversity Games: A Complexity Picture with More than Two Colors
par: Ganian, Robert, et autres
Publié: (2022)

Value Approximation for Two-Player General-Sum Differential Games with State Constraints
par: Zhang, Lei, et autres
Publié: (2023)

Value-Set Iteration: Computing Optimal Correlated Equilibria in Infinite-Horizon Multi-Player Stochastic Games
par: Gan, Jiarui, et autres
Publié: (2025)

Control by Deleting Players from Weighted Voting Games Is NP^PP-Complete for the Penrose-Banzhaf Power Index
par: Kaczmarek, Joanna, et autres
Publié: (2025)

Maximizing Nash Social Welfare in 2-Value Instances: Delineating Tractability
par: Akrami, Hannaneh, et autres
Publié: (2022)

Construction of Compromise Values for Cooperative Games
par: Gilles, Robert P., et autres
Publié: (2025)

Polynomial-Time Computation of Exact $Φ$-Equilibria in Polyhedral Games
par: Farina, Gabriele, et autres
Publié: (2024)

Common-agency Games for Multi-Objective Test-Time Alignment
par: Chen, Baiting, et autres
Publié: (2026)

Truthful Two-Obnoxious-Facility Location Games with Optional Preferences and Minimum Distance Constraint
par: Han, Xiaojia, et autres
Publié: (2025)

Decision-Making on Timing and Route Selection: A Game-Theoretic Approach
par: Wang, Chenlan, et autres
Publié: (2025)

Let Leaders Play Games: Improving Timing in Leader-based Consensus
par: M, Rasheed, et autres
Publié: (2026)

Skill Dominance Analysis of Two(Four) player, Three(Five) dice Variant of the Ludo Game
par: Banerjee, Tathagata, et autres
Publié: (2024)