Token Games and History-Deterministic Quantitative-Automata (Q6178674): Difference between revisions

@@ Property / cites work @@
+Reasoning about online algorithms with weighted automata
+Normal rank
@@ Property / cites work @@
+Büchi Good-for-Games Automata Are Efficiently Recognizable
+Normal rank
@@ Property / cites work @@
+How Deterministic are Good-For-Games Automata?
@@ Property / cites work: How Deterministic are Good-For-Games Automata? / rank @@
+Normal rank
@@ Property / cites work @@
+Q5875380
@@ Property / cites work: Q5875380 / rank @@
+Normal rank
@@ Property / cites work @@
+Q6187054
@@ Property / cites work: Q6187054 / rank @@
+Normal rank
@@ Property / cites work @@
+Token Games and History-Deterministic Quantitative-Automata
+Normal rank
@@ Property / cites work @@
+Why These Automata Types?
@@ Property / cites work: Why These Automata Types? / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative vs. weighted automata
@@ Property / cites work: Quantitative vs. weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative languages
@@ Property / cites work: Quantitative languages / rank @@
+Normal rank
@@ Property / cites work @@
+Universal graphs and good for games automata: new tools for infinite duration games
+Normal rank
@@ Property / cites work @@
+Q5743484
@@ Property / cites work: Q5743484 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding parity games in quasipolynomial time
@@ Property / cites work: Deciding parity games in quasipolynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Stabilisation Monoids and Regular Cost Functions
+Normal rank
@@ Property / cites work @@
+A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
+Normal rank
@@ Property / cites work @@
+Selective Approaches for Solving Weak Games
@@ Property / cites work: Selective Approaches for Solving Weak Games / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Games Without Determinization
@@ Property / cites work: Solving Games Without Determinization / rank @@
+Normal rank
@@ Property / cites work @@
+Minimizing Regret in Discounted-Sum Games
@@ Property / cites work: Minimizing Regret in Discounted-Sum Games / rank @@
+Normal rank
@@ Property / cites work @@
+On Determinisation of Good-for-Games Automata
@@ Property / cites work: On Determinisation of Good-for-Games Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability Results on the Existence of Lookahead Delegators for NFA
+Normal rank
@@ Property / cites work @@
+Q5028456
@@ Property / cites work: Q5028456 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5207047
@@ Property / cites work: Q5207047 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Games
@@ Property / cites work: Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of mean payoff games on graphs
@@ Property / cites work: The complexity of mean payoff games on graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5111179
@@ Property / cites work: Q5111179 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5114824
@@ Property / cites work: Q5114824 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144642
@@ Property / cites work: Q5144642 / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive synthesis without regret
@@ Property / cites work: Reactive synthesis without regret / rank @@
+Normal rank
@@ Property / cites work @@
+Good-for-games ω-Pushdown Automata
@@ Property / cites work: Good-for-games ω-Pushdown Automata / rank @@
+Normal rank