Reactive synthesis without regret (Q520338): Difference between revisions

@@ Property / DOI @@
-.1007/s00236-016-0268-z
@@ Property / DOI: 10.1007/s00236-016-0268-z / rank @@
-Normal rank
@@ Property / cites work @@
+Reasoning about online algorithms with weighted automata
+Normal rank
@@ Property / cites work @@
+First-cycle games
@@ Property / cites work: First-cycle games / rank @@
+Normal rank
@@ Property / cites work @@
+Regret in Decision Making under Uncertainty
@@ Property / cites work: Regret in Decision Making under Uncertainty / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesizing robust systems
@@ Property / cites work: Synthesizing robust systems / rank @@
+Normal rank
@@ Property / cites work @@
+Exact and Approximate Determinization of Discounted-Sum Automata
+Normal rank
@@ Property / cites work @@
+Faster algorithms for mean-payoff games
@@ Property / cites work: Faster algorithms for mean-payoff games / rank @@
+Normal rank
@@ Property / cites work @@
+Doomsday equilibria for omega-regular games
@@ Property / cites work: Doomsday equilibria for omega-regular games / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative languages
@@ Property / cites work: Quantitative languages / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized mean-payoff and energy games
@@ Property / cites work: Generalized mean-payoff and energy games / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated regret minimization: a new solution concept
+Normal rank
@@ Property / cites work @@
+Energy and Mean-Payoff Games with Imperfect Information
+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 @@
+Positional strategies for mean payoff games
@@ Property / cites work: Positional strategies for mean payoff games / rank @@
+Normal rank
@@ Property / cites work @@
+The disjoint shortest paths problem
@@ Property / cites work: The disjoint shortest paths problem / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated Regret Minimization in Game Graphs
@@ Property / cites work: Iterated Regret Minimization in Game Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Games Without Determinization
@@ Property / cites work: Solving Games Without Determinization / rank @@
+Normal rank
@@ Property / cites work @@
+Mean-Payoff Games with Partial-Observation
@@ Property / cites work: Mean-Payoff Games with Partial-Observation / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
+Normal rank
@@ Property / cites work @@
+Model Checking Probabilistic Timed Automata with One or Two Clocks
+Normal rank
@@ Property / cites work @@
+Shortest paths without a map
@@ Property / cites work: Shortest paths without a map / rank @@
+Normal rank
@@ Property / cites work @@
+From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00236-016-0268-Z
@@ Property / DOI: 10.1007/S00236-016-0268-Z / rank @@
+Normal rank