Buchumschlag

Winning Strategies for the Synchronization Game on Subclasses of Finite Automata

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Fernau, Henning, Haase, Carolina, Hoffmann, Stefan, Volkov, Mikhail
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Formal Languages and Automata Theory 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

Uniform winning strategies for the synchronization games on subclasses of finite automata
von: Fernau, Henning, et al.
Veröffentlicht: (2025)

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

Games on Graphs: From Logic and Automata to Algorithms
von: Fijalkow, Nathanaël, et al.
Veröffentlicht: (2023)

Faster and Smaller Solutions of Obliging Games
von: Hausmann, Daniel, et al.
Veröffentlicht: (2024)

Computing Threshold Budgets in Discrete-Bidding Games
von: Avni, Guy, et al.
Veröffentlicht: (2022)

Admissibility Over Winning: A New Approach to Reactive Synthesis in Robotics
von: Muvvala, Karan, et al.
Veröffentlicht: (2024)

Adversarial Synchronization
von: Lipin, Anton E., et al.
Veröffentlicht: (2026)

Complexity of the Existence of Constrained Secure Equilibria in Multi-Player Games
von: Mizuno, Hiroki, et al.
Veröffentlicht: (2025)

Sequential Decision Making in Stochastic Games with Incomplete Preferences over Temporal Objectives
von: Kulkarni, Abhishek Ninad, et al.
Veröffentlicht: (2025)

Arena-Independent Finite-Memory Determinacy in Stochastic Games
von: Bouyer, Patricia, et al.
Veröffentlicht: (2021)

Half-Positional Objectives Recognized by Deterministic Büchi Automata
von: Bouyer, Patricia, et al.
Veröffentlicht: (2022)

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

Non-cooperative rational synthesis problem for probabilistic strategies
von: Koide, So, et al.
Veröffentlicht: (2024)

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

Playing Safe, Ten Years Later
von: Colcombet, Thomas, et al.
Veröffentlicht: (2022)

The Power of Counting Steps in Quantitative Games
von: Bose, Sougata, et al.
Veröffentlicht: (2024)

Mean-payoff and Energy Discrete Bidding Games
von: Avni, Guy, et al.
Veröffentlicht: (2025)

Equilibria in Multiplayer Graph Games: An Algorithmic Study
von: Brice, Léonard
Veröffentlicht: (2026)

On the Existence of Reactive Strategies Resilient to Delay
von: Fränzle, Martin, et al.
Veröffentlicht: (2023)

A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Buchi Register Automata
von: Takata, Yoshiaki, et al.
Veröffentlicht: (2024)

Finite Automata for Efficient Graph Recognition
von: Drewes, Frank, et al.
Veröffentlicht: (2024)

Unknown Biases and Timing Constraints in Timed Automata
von: Haase, Darion, et al.
Veröffentlicht: (2024)

Forbidden-Context & Ordered Grammar Systems
von: Fernau, Henning, et al.
Veröffentlicht: (2026)

Reasoning about Strategic Abilities in Stochastic Multi-agent Systems
von: Zhang, Yedi, et al.
Veröffentlicht: (2024)

Parikh Automata on Finite and Infinite Words
von: Grobler, Mario, et al.
Veröffentlicht: (2023)

Randomise Alone, Reach as a Team
von: Brice, Léonard, et al.
Veröffentlicht: (2026)

Auction-Based Scheduling
von: Avni, Guy, et al.
Veröffentlicht: (2023)

Hypergame Rationalisability: Solving Agent Misalignment In Strategic Play
von: Trencsenyi, Vince
Veröffentlicht: (2025)

The Complexity of Pure Strategy Relevant Equilibria in Concurrent Games
von: Bhaduri, Purandar
Veröffentlicht: (2025)

Unreliability in Practical Subclasses of Communicating Systems
von: Suresh, Amrita, et al.
Veröffentlicht: (2025)

Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report)
von: Abdulla, Parosh Aziz, et al.
Veröffentlicht: (2024)

Determinism in Multi-Soliton Automata
von: Bordihn, Henning, et al.
Veröffentlicht: (2024)

Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games
von: Muvvala, Karan, et al.
Veröffentlicht: (2024)

List of Results on the Černý Conjecture and Reset Thresholds for Synchronizing Automata
von: Volkov, Mikhail V.
Veröffentlicht: (2025)

Fibrational Perspectives on Determinization of Finite-State Automata
von: Li, Thea
Veröffentlicht: (2024)

On Complementation of Nondeterministic Finite Automata without Full Determinization (Technical Report)
von: Holík, Lukáš, et al.
Veröffentlicht: (2025)

Repetitive Finite Automata With Translucent Letters
von: Mráz, František, et al.
Veröffentlicht: (2024)

Systems of Graph Formulas and their Equivalence to Alternating Graph Automata
von: Drewes, Frank, et al.
Veröffentlicht: (2025)

Reach together: How populations win repeated games
von: Bertrand, Nathalie, et al.
Veröffentlicht: (2025)

Descriptional Complexity of Finite Automata -- Selected Highlights
von: Salomaa, Arto, et al.
Veröffentlicht: (2023)