Strategy complexity of reachability in countable stochastic 2-player games

Strategy complexity of reachability in countable stochastic 2-player games

We study countably infinite stochastic 2-player games with reachability objectives. Our results provide a complete picture of the memory requirements of ε-optimal (resp. optimal) strategies. These results depend on the size of the players’ action sets and on whether one requires strategies that are...

书目详细资料
Main Authors:	Kiefer, S, Mayr, R, Shirmohammadi, M, Totzke, P
格式:	Journal article
语言:	English
出版:	Springer Nature 2024

相似书籍

Strategy complexity of parity objectives in countable MDPs
由: Kiefer, S, et al.
出版: (2020)

On strong determinacy of countable stochastic games
由: Kiefer, S, et al.
出版: (2017)

Büchi objectives in countable MDPs
由: Kiefer, S, et al.
出版: (2019)

Transience in countable MDPs
由: Kiefer, SM, et al.
出版: (2021)

Parity objectives in countable MDPs
由: Kiefer, S, et al.
出版: (2017)

Reachability in Stochastic Timed Games.
由: Bouyer, P, et al.
出版: (2009)

Stubborn Set Reduction for Two-Player Reachability Games
由: Frederik Meyer Bønneland, et al.
出版: (2021-03-01)

Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs
由: Richard Mayr, et al.
出版: (2023-03-01)

Continuous-Time Stochastic Games with Time-Bounded Reachability.
由: Brázdil, T, et al.
出版: (2009)

Stochastic reachability analysis in complex biological networks
由: El-Samad, H, et al.
出版: (2006)

A polynomial-time algorithm for reachability in branching VASS in dimension one
由: Göller, S, et al.
出版: (2016)

On affine reachability problems
由: Jaax, S, et al.
出版: (2020)

Revisiting reachability in timed automata
由: Quaas, K, et al.
出版: (2017)

Reachability Switching Games
由: John Fearnley, et al.
出版: (2021-04-01)

The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games
由: Thomas Brihaye, et al.
出版: (2020-11-01)

Expected Reachability-Time Games.
由: Forejt, V, et al.
出版: (2010)

Expected Reachability−Time Games
由: Forejt, V, et al.
出版: (2010)

Expected reachability-time games
由: Forejt, V, et al.
出版: (2016)

The reachability problem for two-dimensional vector addition systems with states
由: Blondin, M, et al.
出版: (2021)

Reachability−Time Games on Timed Automata
由: Jurdzinski, M, et al.
出版: (2007)

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
由: Kwiatkowska, M, et al.
出版: (2017)

O-Minimal Hybrid Reachability Games
由: Patricia Bouyer, et al.
出版: (2010-01-01)

An Effective Representation of the Reachability Set of Persistent Petri Nets
由: Mayr, Ernst
出版: (2023)

Reflected Backward Stochastic Differential Equations Driven by Countable Brownian Motions
由: Pengju Duan, et al.
出版: (2013-01-01)

Monotone countable paracompactness
由: Good, C, et al.
出版: (2000)

Multi-player equilibria verification for concurrent stochastic games
由: Kwiatkowska, M, et al.
出版: (2020)

On (Subgame Perfect) Secure Equilibrium in Quantitative Reachability Games
由: Thomas Brihaye, et al.
出版: (2013-02-01)

The point−countable base problem
由: Rosoce, A, et al.
出版: (1990)

Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
由: Abate, A, et al.
出版: (2008)

Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems
由: Abate, A, et al.
出版: (2008)

Stochastic Reachability-Based GPS Spoofing Detection with Chimera Signal Enhancement
由: Tara Mina, et al.
出版: (2023-10-01)

Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games
由: Jovanović, A, et al.
出版: (2013)

Countably QC-Approximating Posets
由: Xuxin Mao, et al.
出版: (2014-01-01)

Countably I-Compact Spaces
由: Bassam Al-Nashef
出版: (2001-01-01)

Nominal countability in Kaingang and beyond
由: Michel Platiny Assis Navarro
出版: (2024-01-01)

On γ−countably paracompact sets
由: Rawshdeh Amani, et al.
出版: (2020-11-01)

The Church Problem for Countable Ordinals
由: Alexander Rabinovich
出版: (2009-04-01)

Cores of Countably Categorical Structures
由: Manuel Bodirsky
出版: (2007-01-01)

Gibbs states on countable sets /
出版: (1974)

Approximating countable Markov chains/
由: Freedman, David, 1938-
出版: (1972)