Extending finite-memory determinacy to multi-player games (Q1641036): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2018.02.024
@@ Property / DOI: 10.1016/j.ic.2018.02.024 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2964269976
@@ Property / OpenAlex ID: W2964269976 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.08912
@@ Property / arXiv ID: 1602.08912 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiplayer Cost Games with Simple Nash Equilibria
+Normal rank
@@ Property / cites work @@
+On High-Quality Synthesis
@@ Property / cites work: On High-Quality Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Energy parity games
@@ Property / cites work: Energy parity games / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite sequential games with real-valued payoffs
+Normal rank
@@ Property / cites work @@
+Infinite sequential Nash equilibrium
@@ Property / cites work: Infinite sequential Nash equilibrium / rank @@
+Normal rank
@@ Property / cites work @@
+Weihrauch Degrees of Finding Equilibria in Sequential Games
+Normal rank
@@ Property / cites work @@
+Perfect information stochastic games and related classes
+Normal rank
@@ Property / cites work @@
+Q4599509
@@ Property / cites work: Q4599509 / rank @@
+Normal rank
@@ Property / cites work @@
+The determinacy of Blackwell games
@@ Property / cites work: The determinacy of Blackwell games / rank @@
+Normal rank
@@ Property / cites work @@
+Pure Nash Equilibria in Concurrent Deterministic Games
+Normal rank
@@ Property / cites work @@
+The Complexity of Nash Equilibria in Limit-Average Games
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Nash Equilibrium in Generalised Muller Games.
@@ Property / cites work: Nash Equilibrium in Generalised Muller Games. / rank @@
+Normal rank
@@ Property / cites work @@
+Equilibria in Quantitative Reachability Games
@@ Property / cites work: Equilibria in Quantitative Reachability Games / rank @@
+Normal rank
@@ Property / cites work @@
+Parity and Streett Games with Costs
@@ Property / cites work: Parity and Streett Games with Costs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5357711
@@ Property / cites work: Q5357711 / rank @@
+Normal rank
@@ Property / cites work @@
+Formally Reasoning About Quality
@@ Property / cites work: Formally Reasoning About Quality / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of multi-mean-payoff and multi-energy games
+Normal rank
@@ Property / cites work @@
+Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives
+Normal rank
@@ Property / cites work @@
+Embedded software. Third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13--15, 2003. Proceedings
+Normal rank
@@ Property / cites work @@
+Infinite Runs in Weighted Timed Automata with Energy Constraints
+Normal rank
@@ Property / cites work @@
+A Deterministic Subexponential Algorithm for Solving Parity Games
+Normal rank
@@ Property / cites work @@
+Q5844986
@@ Property / cites work: Q5844986 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q130189784
@@ Property / Wikidata QID: Q130189784 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2018.02.024
@@ Property / DOI: 10.1016/J.IC.2018.02.024 / rank @@
+Normal rank