Energy games over totally ordered groups

DOI10.4230/LIPICS.CSL.2024.34MaRDI QIDQ6856018zbMATH OpenFDO

Authors Alexander Kozachinskiy

Publication date 19 February 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.CSL.2024.34

zbMATH Keywords

games on graphshalf-positionalityordered groups

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• Characterizing omega-regularity through finite-memory determinacy of games on infinite graphs
• Characterizing positionality in games of Infinite duration over infinite graphs
• CONCUR 2005 – Concurrency Theory
• Continuous positional payoffs
• Deterministic Priority Mean-Payoff Games as Limits of Discounted Games
• Exploring the boundary of half-positionality
• Graph Games and Reactive Synthesis
• Half-Positional Determinacy of Infinite Games
• Half-positional objectives recognized by deterministic Büchi automata
• scientific article; zbMATH DE number 3045421 (Why is no real title available?)
• Infinite games on finitely coloured graphs with applications to automata on infinite trees
• Mathematical Foundations of Computer Science 2004
• On the positional determinacy of edge-labeled games

Cited in

(2)

• Positional \(\omega\)-regular languages
• Positional -regular languages

This page was built for publication: Energy games over totally ordered groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6856018)