Copertina

The Power of Counting Steps in Quantitative Games

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bose, Sougata, Ibsen-Jensen, Rasmus, Purser, David, Totzke, Patrick, Vandenhove, Pierre
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Computer Science and Game Theory Formal Languages and Automata Theory Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Parity Games on Temporal Graphs
di: Austin, Pete, et al.
Pubblicazione: (2023)

Arena-Independent Finite-Memory Determinacy in Stochastic Games
di: Bouyer, Patricia, et al.
Pubblicazione: (2021)

Games on Graphs: From Logic and Automata to Algorithms
di: Fijalkow, Nathanaël, et al.
Pubblicazione: (2023)

Half-Positional Objectives Recognized by Deterministic Büchi Automata
di: Bouyer, Patricia, et al.
Pubblicazione: (2022)

A positional $\mathbfΠ^0_3$-complete objective
di: Casares, Antonio, et al.
Pubblicazione: (2024)

History-deterministic Timed Automata
di: Bose, Sougata, et al.
Pubblicazione: (2023)

Reasoning about Strategic Abilities in Stochastic Multi-agent Systems
di: Zhang, Yedi, et al.
Pubblicazione: (2024)

On the Existence of Reactive Strategies Resilient to Delay
di: Fränzle, Martin, et al.
Pubblicazione: (2023)

Different Strokes in Randomised Strategies: Revisiting Kuhn's Theorem under Finite-Memory Assumptions
di: Main, James C. A., et al.
Pubblicazione: (2022)

The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)
di: Daviaud, Laure, et al.
Pubblicazione: (2023)

Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata
di: Jecker, Ismaël, et al.
Pubblicazione: (2023)

Bounded-Memory Strategies in Partial-Information Games
di: Bose, Sougata, et al.
Pubblicazione: (2024)

LTL$_f$ Learning Meets Boolean Set Cover
di: Bathie, Gabriel, et al.
Pubblicazione: (2025)

The Complexity of Pure Strategy Relevant Equilibria in Concurrent Games
di: Bhaduri, Purandar
Pubblicazione: (2025)

Faster and Smaller Solutions of Obliging Games
di: Hausmann, Daniel, et al.
Pubblicazione: (2024)

Computing Threshold Budgets in Discrete-Bidding Games
di: Avni, Guy, et al.
Pubblicazione: (2022)

Winning Strategies for the Synchronization Game on Subclasses of Finite Automata
di: Fernau, Henning, et al.
Pubblicazione: (2024)

An Automata-Based Approach to Games with $ω$-Automatic Preferences
di: Bruyère, Véronique, et al.
Pubblicazione: (2026)

Complexity of the Existence of Constrained Secure Equilibria in Multi-Player Games
di: Mizuno, Hiroki, et al.
Pubblicazione: (2025)

Sequential Decision Making in Stochastic Games with Incomplete Preferences over Temporal Objectives
di: Kulkarni, Abhishek Ninad, et al.
Pubblicazione: (2025)

Quantitative Semantics for Jumping Automata
di: Almagor, Shaull, et al.
Pubblicazione: (2024)

Automating the Analysis of Quantitative Automata with QuAK
di: Chalupa, Marek, et al.
Pubblicazione: (2025)

Extending QuAK with Nested Quantitative Automata
di: Henzinger, Thomas A., et al.
Pubblicazione: (2026)

Attractors Is All You Need: Parity Games In Polynomial Time
di: van der Heijden, Rick
Pubblicazione: (2025)

Taming Infinity one Chunk at a Time: Concisely Represented Strategies in One-Counter MDPs
di: Ajdarów, Michal, et al.
Pubblicazione: (2025)

Mixing Any Cocktail with Limited Ingredients: On the Structure of Payoff Sets in Multi-Objective POMDPs and its Impact on Randomised Strategies
di: Main, James C. A., et al.
Pubblicazione: (2025)

Characterising memory in infinite games
di: Casares, Antonio, et al.
Pubblicazione: (2022)

Prophecies all the Way: Game-based Model-Checking for HyperQPTL beyond $\forall^*\exists^*$
di: Winter, Sarah, et al.
Pubblicazione: (2025)

Expregular functions
di: Colcombet, Thomas, et al.
Pubblicazione: (2026)

A Myhill-Nerode Characterization and Active Learning for One-Clock Timed Automata
di: Doveri, Kyveli, et al.
Pubblicazione: (2026)

A Uniform Framework for Language Inclusion Problems
di: Doveri, Kyveli, et al.
Pubblicazione: (2024)

Non-cooperative rational synthesis problem for probabilistic strategies
di: Koide, So, et al.
Pubblicazione: (2024)

Distributed Fair Assignment and Rebalancing for Mobility-on-Demand Systems via an Auction-based Method
di: Liang, Kaier, et al.
Pubblicazione: (2024)

Playing Safe, Ten Years Later
di: Colcombet, Thomas, et al.
Pubblicazione: (2022)

A Direct Translation from LTL with Past to Deterministic Rabin Automata
di: Azzopardi, Shaun, et al.
Pubblicazione: (2024)

String Solving with Stabilization and Transducers (Technical Report)
di: Chocholatý, David, et al.
Pubblicazione: (2026)

Robust Probabilistic Bisimilarity for Labelled Markov Chains
di: Fatmi, Syyeda Zainab, et al.
Pubblicazione: (2025)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
di: Rooduijn, Jan, et al.
Pubblicazione: (2024)

A proof theory of right-linear (omega-)grammars via cyclic proofs
di: Das, Anupam, et al.
Pubblicazione: (2024)

Function spaces for orbit-finite sets
di: Bojańczyk, Mikołaj, et al.
Pubblicazione: (2024)