Cover Image

Games on Graphs: From Logic and Automata to Algorithms

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Fijalkow, Nathanaël, Aiswarya, C., Avni, Guy, Bertrand, Nathalie, Bouyer, Patricia, Brenguier, Romain, Carayol, Arnaud, Casares, Antonio, Fearnley, John, Gastin, Paul, Gimbert, Hugo, Henzinger, Thomas A., Horn, Florian, Ibsen-Jensen, Rasmus, Markey, Nicolas, Monmege, Benjamin, Novotný, Petr, Ohlmann, Pierre, Randour, Mickael, Sankur, Ocan, Schmitz, Sylvain, Serre, Olivier, Skomra, Mateusz, Sznajder, Nathalie, Vandenhove, Pierre
Format:	Preprint
Published:	2023
Subjects:	Computer Science and Game Theory Formal Languages and Automata Theory Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Decisiveness for countable MDPs and insights for NPLCSs and POMDPs
by: Bertrand, Nathalie, et al.
Published: (2020)

Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives
by: Belly, Marius, et al.
Published: (2024)

Online Test Synthesis From Requirements: Enhancing Reinforcement Learning with Game Theory
by: Sankur, Ocan, et al.
Published: (2024)

The memory of $ω$-regular and BC($Σ_2^0$) objectives
by: Casares, Antonio, et al.
Published: (2025)

Characterising memory in infinite games
by: Casares, Antonio, et al.
Published: (2022)

Positional $ω$-regular languages
by: Casares, Antonio, et al.
Published: (2024)

Linear Planar 3-SAT and Its Applications in Planning
by: Desbois, Victorien, et al.
Published: (2025)

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

Fast value iteration: A uniform approach to efficient algorithms for energy games
by: Cadilhac, Michaël, et al.
Published: (2021)

Computing the Reachability Value of Posterior-Deterministic POMDPs
by: Fijalkow, Nathanaël, et al.
Published: (2026)

The Value Problem for Multiple-Environment MDPs with Parity Objective
by: Chatterjee, Krishnendu, et al.
Published: (2025)

Parameterized Verification of Timed Networks with Clock Invariants
by: André, Étienne, et al.
Published: (2024)

The Power of Counting Steps in Quantitative Games
by: Bose, Sougata, et al.
Published: (2024)

A symmetric recursive algorithm for mean-payoff games
by: Ohlmann, Pierre
Published: (2026)

Infinite lexicographic products of positional objectives
by: Casares, Antonio, et al.
Published: (2025)

On Dynamic Programming Theory for Leader-Follower Stochastic Games
by: Dibangoye, Jilles Steeve, et al.
Published: (2025)

Antichains for Concurrent Parameterized Games
by: Bertrand, Nathalie, et al.
Published: (2025)

Wait-Only Broadcast Protocols are Easier to Verify
by: Guillou, Lucie, et al.
Published: (2025)

Phase-Bounded Broadcast Networks over Topologies of Communication
by: Guillou, Lucie, et al.
Published: (2024)

Safety Verification of Wait-Only Non-Blocking Broadcast Protocols
by: Guillou, Lucie, et al.
Published: (2024)

Groupes de Coxeter finis : centralisateurs d'involutions
by: Serre, Jean-Pierre
Published: (2022)

Invariants cohomologiques mod 2 et invariants de Witt des groupes alternés
by: Serre, Jean-Pierre
Published: (2024)

Zéros de caractères
by: Serre, Jean-Pierre
Published: (2023)

Rank-decreasing transductions
by: Bojańczyk, Mikołaj, et al.
Published: (2024)

Trees in graphs of large linear cliquewidth
by: Bojańczyk, Mikołaj, et al.
Published: (2025)

Positionality in $Σ_0^2$ and a completeness result
by: Ohlmann, Pierre, et al.
Published: (2023)

Metal‐Organic Frameworks for the Therapy of Inflammatory Diseases
by: Heng Zhao, et al.
Published: (2025)

Decidability of One-Clock Weighted Timed Games with Arbitrary Weights
by: Monmege, Benjamin, et al.
Published: (2022)

Synthesis of Robust Optimal Strategies in Weighted Timed Games
by: Monmege, Benjamin, et al.
Published: (2024)

Playing Stochastically in Weighted Timed Games to Emulate Memory
by: Monmege, Benjamin, et al.
Published: (2021)

Anti‐mold properties of fermented apple juice in bread
by: Pierre Gélinas, et al.
Published: (2024)

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis
by: Randour, Mickael
Published: (2025)

Reach together: How populations win repeated games
by: Bertrand, Nathalie, et al.
Published: (2025)

From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism
by: Casares, Antonio, et al.
Published: (2023)

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

Expregular functions
by: Colcombet, Thomas, et al.
Published: (2026)

Efficient Uniform Sampling of Surjections via their Profiles
by: Carayol, Arnaud, et al.
Published: (2026)