Buchumschlag

TSO Games -- On the decidability of safety games under the total store order semantics (extended LMCS version with appendix)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Spengler, Stephan, Sil, Sanchari
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Computer Science and Game Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Reachability and Safety Games under TSO Semantics (Extended Version)
von: Spengler, Stephan
Veröffentlicht: (2024)

Benchmarks for Parity Games (extended version)
von: Keiren, Jeroen J. A.
Veröffentlicht: (2014)

Reachability and Safety Games under TSO Semantics
von: Spengler, Stephan
Veröffentlicht: (2024)

Production-Inventory games: a new class of totally balanced combinatorial optimization games
von: Guardiola, Luis A., et al.
Veröffentlicht: (2024)

p-additive games: a class of totally balanced games arising from inventory situations with temporary discounts
von: Meca, Ana, et al.
Veröffentlicht: (2024)

First-order (coarse) correlated equilibria in non-concave games
von: Ahunbay, Mete Şeref
Veröffentlicht: (2024)

Subgame-perfect Equilibria in Mean-payoff Games (journal version)
von: Brice, Léonard, et al.
Veröffentlicht: (2022)

Approximate solutions to games of ordered preference
von: Molins, Pau de las Heras, et al.
Veröffentlicht: (2025)

On the Convergence of Learning Algorithms in Bayesian Auction Games
von: Bichler, Martin, et al.
Veröffentlicht: (2023)

Solving Two-Player Games under Progress Assumptions
von: Schmuck, Anne-Kathrin, et al.
Veröffentlicht: (2023)

Production-inventory games and pmas games: characterizations of the Owen point
von: Guardiola, Luis A., et al.
Veröffentlicht: (2024)

Game-Of-Goals: Using adversarial games to achieve strategic resilience
von: Ghose, Aditya, et al.
Veröffentlicht: (2025)

Uncoupled and Convergent Learning in Monotone Games under Bandit Feedback
von: Dong, Jing, et al.
Veröffentlicht: (2024)

Popularity in location games
von: Fournier, Gaëtan, et al.
Veröffentlicht: (2024)

Limited-perception games
von: Jia, Kai, et al.
Veröffentlicht: (2024)

Conditional dominance in games with unawareness
von: Schipper, Burkhard C.
Veröffentlicht: (2023)

Multiplayer General Lotto game
von: Liu, Yan, et al.
Veröffentlicht: (2024)

Simplifying imperfect recall games
von: Gimbert, Hugo, et al.
Veröffentlicht: (2025)

Co-Investment under Revenue Uncertainty Based on Stochastic Coalitional Game Theory
von: Sakr, Amal, et al.
Veröffentlicht: (2025)

Game connectivity and adaptive dynamics in many-action games
von: Johnston, Tom, et al.
Veröffentlicht: (2026)

Selfish routing games with priority lanes
von: Li, Yang, et al.
Veröffentlicht: (2026)

Non-coercive extortion in game theory
von: Ramirez, Maria Alejandra, et al.
Veröffentlicht: (2025)

Diversity-seeking swap games in networks
von: Li, Yaqiao, et al.
Veröffentlicht: (2025)

Cooperative games with uncertainty: a survey
von: Grabisch, Michel, et al.
Veröffentlicht: (2026)

Computing stable limit cycles of learning in games
von: Biggar, Oliver, et al.
Veröffentlicht: (2026)

On egalitarian values for cooperative games with level structures
von: Alonso-Meijide, J. M., et al.
Veröffentlicht: (2024)

Bayesian open games
von: Bolt, Joe, et al.
Veröffentlicht: (2019)

Optimal games in Room 25 solo and coop modes
von: Lafourcade, Pierre
Veröffentlicht: (2023)

Stochastic assignment games for Mobility-as-a-Service markets
von: Liu, Bingqing, et al.
Veröffentlicht: (2025)

Thresholds for sensitive optimality and Blackwell optimality in stochastic games
von: Gaubert, Stéphane, et al.
Veröffentlicht: (2025)

On egalitarian values for cooperative games with a priori unions
von: Alonso-Meijide, J. M., et al.
Veröffentlicht: (2024)

On characterization and existence of constrained correlated equilibria in Markov games
von: Ni, Tingting, et al.
Veröffentlicht: (2025)

Engineering Social Optimality via Utility Shaping in Non-Cooperative Games under Incomplete Information and Imperfect Monitoring
von: Smith, David, et al.
Veröffentlicht: (2025)

Convergence rates of random-order best-response dynamics in public good games on networks
von: Misiak, Wojciech, et al.
Veröffentlicht: (2026)

When 1+1 does not equal 2: Synergy in games
von: Kritz, Joshua, et al.
Veröffentlicht: (2025)

Linearly representable games and pseudo-polynomial calculation of the Shapley value
von: Illés, Ferenc
Veröffentlicht: (2022)

The Shapley value and the strength of weak players in Big Boss games
von: Guardiola, Luis A., et al.
Veröffentlicht: (2025)

New results on egalitarian values for games with a priori unions
von: Gonçalves-Dosantos, J. C., et al.
Veröffentlicht: (2024)

Deciding regular games: a playground for exponential time algorithms
von: Liang, Zihui, et al.
Veröffentlicht: (2024)

Airdrop Games
von: Georganas, Sotiris, et al.
Veröffentlicht: (2025)