Buchumschlag

The Algebra of Parity Games

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Piedeleu, Robin
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
von: Milosavljevic, Aleksandar, et al.
Veröffentlicht: (2022)

A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures
von: Torres-Ruiz, Mateo, et al.
Veröffentlicht: (2025)

Graphical Quadratic Algebra
von: Stein, Dario, et al.
Veröffentlicht: (2024)

Stuttering Equivalence for Parity Games
von: Cranen, Sjoerd, et al.
Veröffentlicht: (2011)

A Zone-Based Algorithm for Timed Parity Games
von: Geeraerts, Gilles, et al.
Veröffentlicht: (2025)

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

Effect Algebras as Omega-categories
von: Perticone, Lorenzo, et al.
Veröffentlicht: (2023)

Pareto Fronts for Compositionally Solving String Diagrams of Parity Games
von: Watanabe, Kazuki
Veröffentlicht: (2024)

A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
von: Różowski, Wojciech, et al.
Veröffentlicht: (2026)

Concurrent Strategies on Games with Algebras
von: Huriot-Tattegrain, Sacha, et al.
Veröffentlicht: (2024)

Parity Games on Temporal Graphs
von: Austin, Pete, et al.
Veröffentlicht: (2023)

Algorithm and Strategy Construction for Sure-Almost-Sure Stochastic Parity Games
von: Doyen, Laurent, et al.
Veröffentlicht: (2026)

Completeness of Relational Algebra via Cylindric Algebra
von: Laštovička, Jan
Veröffentlicht: (2026)

A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming
von: Piedeleu, Robin, et al.
Veröffentlicht: (2024)

Rings and Boolean Algebras as Algebraic Theories
von: De Faveri, Arturo
Veröffentlicht: (2025)

Deciding Equations in the Time Warp Algebra
von: van Gool, Sam, et al.
Veröffentlicht: (2023)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
von: Almeida, Rodrigo Nicolau
Veröffentlicht: (2023)

Topological Dualities for Modal Algebras
von: Collinson, Matthew
Veröffentlicht: (2026)

The Value Problem for Multiple-Environment MDPs with Parity Objective
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2025)

Strategy Templates for Almost-Sure and Positive Winning of Stochastic Parity Games towards Permissive and Resilient Control
von: Phalakarn, Kittiphon, et al.
Veröffentlicht: (2024)

Continuous Algebras with Hypotheses
von: Mulder, Lukas, et al.
Veröffentlicht: (2026)

The Algebra of Iterative Constructions
von: Batz, Kevin, et al.
Veröffentlicht: (2026)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
von: Wißmann, Thorsten, et al.
Veröffentlicht: (2024)

Linear Realisability and Implicative Algebras
von: Lucquin, Alexandre, et al.
Veröffentlicht: (2026)

Forcing, Transition Algebras, and Calculi
von: Go, Hashimoto, et al.
Veröffentlicht: (2024)

Induction rules for Transition Algebra
von: Hashimoto, Go
Veröffentlicht: (2026)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
von: Pacheco, Leonardo
Veröffentlicht: (2026)

Cardinality and Representation of Stone Relation Algebras
von: Furusawa, Hitoshi, et al.
Veröffentlicht: (2023)

Compact Quantitative Theories of Convex Algebras
von: Mio, Matteo
Veröffentlicht: (2025)

Model-theoretic Forcing in Transition Algebra
von: Hashimoto, Go, et al.
Veröffentlicht: (2025)

On Tools for Completeness of Kleene Algebra with Hypotheses
von: Pous, Damien, et al.
Veröffentlicht: (2022)

A Diagrammatic Algebra for Program Logics
von: Bonchi, Filippo, et al.
Veröffentlicht: (2024)

Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees
von: Koh, Zhuan Khye, et al.
Veröffentlicht: (2021)

From Partial to Monadic: Combinatory Algebra with Effects
von: Cohen, Liron, et al.
Veröffentlicht: (2025)

Paraconsistent Relations as a Variant of Kleene Algebras
von: Cunha, Juliana, et al.
Veröffentlicht: (2025)

Initial Algebra Correspondence under Reachability Conditions
von: Kori, Mayuko, et al.
Veröffentlicht: (2025)

Completeness of Finitely Weighted Kleene Algebra With Tests
von: Sedlár, Igor
Veröffentlicht: (2024)

A General Completeness Theorem for Skip-free Star Algebras
von: Kappé, Tobias, et al.
Veröffentlicht: (2025)

Initial Algebras of Domains via Quotient Inductive-Inductive Types
von: van Collem, Simcha, et al.
Veröffentlicht: (2025)

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
von: Mio, Matteo, et al.
Veröffentlicht: (2023)