Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions (Q5090979): Difference between revisions

@@ label / en / label / en @@
+Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions
@@ Property / DOI @@
-.4230/LIPIcs.FSTTCS.2018.38
@@ Property / DOI: 10.4230/LIPIcs.FSTTCS.2018.38 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Games and Reactive Synthesis
@@ Property / cites work: Graph Games and Reactive Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite Runs in Weighted Timed Automata with Energy Constraints
+Normal rank
@@ Property / cites work @@
+Bounding Average-Energy Games
@@ Property / cites work: Bounding Average-Energy Games / rank @@
+Normal rank
@@ Property / cites work @@
+Average-energy games
@@ Property / cites work: Average-energy games / rank @@
+Normal rank
@@ Property / cites work @@
+Non-Zero Sum Games for Reactive Synthesis
@@ Property / cites work: Non-Zero Sum Games for Reactive Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Q5015274
@@ Property / cites work: Q5015274 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of heterogeneous multidimensional quantitative games
+Normal rank
@@ Property / cites work @@
+Energy parity games
@@ Property / cites work: Energy parity games / rank @@
+Normal rank
@@ Property / cites work @@
+Looking at mean-payoff and total-payoff through windows
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Parity Games
@@ Property / cites work: Generalized Parity Games / rank @@
+Normal rank
@@ Property / cites work @@
+Strategy synthesis for multi-dimensional quantitative objectives
+Normal rank
@@ Property / cites work @@
+Positional strategies for mean payoff games
@@ Property / cites work: Positional strategies for mean payoff games / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2004
@@ Property / cites work: Mathematical Foundations of Computer Science 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time
+Normal rank
@@ Property / cites work @@
+Half-Positional Determinacy of Infinite Games
@@ Property / cites work: Half-Positional Determinacy of Infinite Games / rank @@
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Extending finite-memory determinacy to multi-player games
+Normal rank
@@ Property / cites work @@
+Robust Multidimensional Mean-Payoff Games are Undecidable
+Normal rank
@@ Property / cites work @@
+The complexity of multi-mean-payoff and multi-energy games
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank
@@ Property / OpenAlex ID @@
+W2963055215
@@ Property / OpenAlex ID: W2963055215 / rank @@
+Normal rank
@@ Property / title @@
+Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions (English)
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.FSTTCS.2018.38
@@ Property / DOI: 10.4230/LIPICS.FSTTCS.2018.38 / rank @@
+Normal rank