Stackelberg-Pareto synthesis (Q6492409): Difference between revisions

@@ Property / cites work @@
+Q6176102
@@ Property / cites work: Q6176102 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility in Infinite Games
@@ Property / cites work: Admissibility in Infinite Games / 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 @@
+Pure Nash Equilibria in Concurrent Deterministic Games
+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 @@
+Assume-Admissible Synthesis
@@ Property / cites work: Assume-Admissible Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Q6176100
@@ Property / cites work: Q6176100 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5140263
@@ Property / cites work: Q5140263 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer aided synthesis: a game-theoretic approach
+Normal rank
@@ Property / cites work @@
+On the complexity of heterogeneous multidimensional quantitative games
+Normal rank
@@ Property / cites work @@
+Q5009445
@@ Property / cites work: Q5009445 / rank @@
+Normal rank
@@ Property / cites work @@
+Q6134271
@@ Property / cites work: Q6134271 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Parity Games in Quasi-polynomial Time
@@ Property / cites work: Deciding Parity Games in Quasi-polynomial Time / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition
+Normal rank
@@ Property / cites work @@
+Assume-Guarantee Synthesis
@@ Property / cites work: Assume-Guarantee Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Games with secure equilibria
@@ Property / cites work: Games with secure equilibria / rank @@
+Normal rank
@@ Property / cites work @@
+Strategy logic
@@ Property / cites work: Strategy logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Rational Synthesis
@@ Property / cites work: The Complexity of Rational Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+CNF and DNF succinct graph encodings
@@ Property / cites work: CNF and DNF succinct graph encodings / rank @@
+Normal rank
@@ Property / cites work @@
+Rational Synthesis
@@ Property / cites work: Rational Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Q5013875
@@ Property / cites work: Q5013875 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated temporal equilibrium analysis: verification and synthesis of multi-player games
+Normal rank
@@ Property / cites work @@
+Explicit Muller Games are PTIME
@@ Property / cites work: Explicit Muller Games are PTIME / rank @@
+Normal rank
@@ Property / cites work @@
+Reducibility among Combinatorial Problems
@@ Property / cites work: Reducibility among Combinatorial Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Automata Theory and Model Checking
@@ Property / cites work: Automata Theory and Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis with rational environments
@@ Property / cites work: Synthesis with rational environments / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning About Strategies
@@ Property / cites work: Reasoning About Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Equilibrium points in             <i>n</i>             -person games
@@ Property / cites work: Equilibrium points in <i>n</i> -person games / rank @@
+Normal rank
@@ Property / cites work @@
+Practical “Paritizing” of Emerson-Lei Automata
+Normal rank
@@ Property / cites work @@
+Rational Behaviour and Strategy Construction in Infinite Multiplayer Games
+Normal rank
@@ Property / cites work @@
+The Complexity of Nash Equilibria in Infinite Multiplayer Games
+Normal rank
@@ Property / cites work @@
+The Complexity of Nash Equilibria in Limit-Average Games
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6492409