Imagen de Portada

The Algebra of Parity Games

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Piedeleu, Robin
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
por: Milosavljevic, Aleksandar, et al.
Publicado: (2022)

A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures
por: Torres-Ruiz, Mateo, et al.
Publicado: (2025)

Graphical Quadratic Algebra
por: Stein, Dario, et al.
Publicado: (2024)

Stuttering Equivalence for Parity Games
por: Cranen, Sjoerd, et al.
Publicado: (2011)

A Zone-Based Algorithm for Timed Parity Games
por: Geeraerts, Gilles, et al.
Publicado: (2025)

Benchmarks for Parity Games (extended version)
por: Keiren, Jeroen J. A.
Publicado: (2014)

Effect Algebras as Omega-categories
por: Perticone, Lorenzo, et al.
Publicado: (2023)

Pareto Fronts for Compositionally Solving String Diagrams of Parity Games
por: Watanabe, Kazuki
Publicado: (2024)

A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
por: Różowski, Wojciech, et al.
Publicado: (2026)

Concurrent Strategies on Games with Algebras
por: Huriot-Tattegrain, Sacha, et al.
Publicado: (2024)

Parity Games on Temporal Graphs
por: Austin, Pete, et al.
Publicado: (2023)

Algorithm and Strategy Construction for Sure-Almost-Sure Stochastic Parity Games
por: Doyen, Laurent, et al.
Publicado: (2026)

Completeness of Relational Algebra via Cylindric Algebra
por: Laštovička, Jan
Publicado: (2026)

A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming
por: Piedeleu, Robin, et al.
Publicado: (2024)

Rings and Boolean Algebras as Algebraic Theories
por: De Faveri, Arturo
Publicado: (2025)

Deciding Equations in the Time Warp Algebra
por: van Gool, Sam, et al.
Publicado: (2023)

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

Topological Dualities for Modal Algebras
por: Collinson, Matthew
Publicado: (2026)

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

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

Continuous Algebras with Hypotheses
por: Mulder, Lukas, et al.
Publicado: (2026)

The Algebra of Iterative Constructions
por: Batz, Kevin, et al.
Publicado: (2026)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
por: Wißmann, Thorsten, et al.
Publicado: (2024)

Linear Realisability and Implicative Algebras
por: Lucquin, Alexandre, et al.
Publicado: (2026)

Forcing, Transition Algebras, and Calculi
por: Go, Hashimoto, et al.
Publicado: (2024)

Induction rules for Transition Algebra
por: Hashimoto, Go
Publicado: (2026)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
por: Pacheco, Leonardo
Publicado: (2026)

Cardinality and Representation of Stone Relation Algebras
por: Furusawa, Hitoshi, et al.
Publicado: (2023)

Compact Quantitative Theories of Convex Algebras
por: Mio, Matteo
Publicado: (2025)

Model-theoretic Forcing in Transition Algebra
por: Hashimoto, Go, et al.
Publicado: (2025)

On Tools for Completeness of Kleene Algebra with Hypotheses
por: Pous, Damien, et al.
Publicado: (2022)

A Diagrammatic Algebra for Program Logics
por: Bonchi, Filippo, et al.
Publicado: (2024)

Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees
por: Koh, Zhuan Khye, et al.
Publicado: (2021)

From Partial to Monadic: Combinatory Algebra with Effects
por: Cohen, Liron, et al.
Publicado: (2025)

Paraconsistent Relations as a Variant of Kleene Algebras
por: Cunha, Juliana, et al.
Publicado: (2025)

Initial Algebra Correspondence under Reachability Conditions
por: Kori, Mayuko, et al.
Publicado: (2025)

Completeness of Finitely Weighted Kleene Algebra With Tests
por: Sedlár, Igor
Publicado: (2024)

A General Completeness Theorem for Skip-free Star Algebras
por: Kappé, Tobias, et al.
Publicado: (2025)

Initial Algebras of Domains via Quotient Inductive-Inductive Types
por: van Collem, Simcha, et al.
Publicado: (2025)

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
por: Mio, Matteo, et al.
Publicado: (2023)