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

Newer edit →

@@ Property / title @@
+Token games and history-deterministic quantitative automata (English)
+Normal rank
@@ Property / DOI @@
+.1007/978-3-030-99253-8_7
@@ Property / DOI: 10.1007/978-3-030-99253-8_7 / rank @@
+Normal rank
@@ Property / published in @@
+Lecture Notes in Computer Science
@@ Property / published in: Lecture Notes in Computer Science / rank @@
+Normal rank
@@ Property / publication date @@
+January 2024Timestamp +2024-01-23T00:00:00Z
Timezone +00:00
Calendar ⧼valueview-expert-timevalue-calendar-gregorian⧽
Precision 1 day
Before 0
After 0
-Timestamp
++2024-01-23T00:00:00Z
-Timezone
++00:00
-Calendar
+⧼valueview-expert-timevalue-calendar-gregorian⧽
-Precision
+day
 Before
 After
@@ Property / publication date: 23 January 2024 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Nxx
@@ Property / Mathematics Subject Classification ID: 68Nxx / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Qxx
@@ Property / Mathematics Subject Classification ID: 68Qxx / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+7793026
@@ Property / zbMATH DE Number: 7793026 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automata
@@ Property / zbMATH Keywords: automata / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+synthesis
@@ Property / zbMATH Keywords: synthesis / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:6178674