A game-theoretic approach for the synthesis of complex systems (Q2104251): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-031-08740-0_5
+Normal rank
@@ Property / OpenAlex ID @@
+W4285200096
@@ Property / OpenAlex ID: W4285200096 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q6176102
@@ Property / cites work: Q6176102 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissiblity in Concurrent Games
@@ Property / cites work: Admissiblity in Concurrent Games / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility in Infinite Games
@@ Property / cites work: Admissibility in Infinite Games / rank @@
+Normal rank
@@ Property / cites work @@
+The Target Discounted-Sum Problem
@@ Property / cites work: The Target Discounted-Sum Problem / rank @@
+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 @@
+Q4636592
@@ Property / cites work: Q4636592 / rank @@
+Normal rank
@@ Property / cites work @@
+Assume-admissible synthesis
@@ Property / cites work: Assume-admissible synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of admissibility in Omega-regular games
+Normal rank
@@ Property / cites work @@
+Q6176100
@@ Property / cites work: Q6176100 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3384875
@@ Property / cites work: Q3384875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5140263
@@ Property / cites work: Q5140263 / rank @@
+Normal rank
@@ Property / cites work @@
+On relevant equilibria in reachability games
@@ Property / cites work: On relevant equilibria in reachability games / rank @@
+Normal rank
@@ Property / cites work @@
+Multiplayer Cost Games with Simple Nash Equilibria
+Normal rank
@@ Property / cites work @@
+Computer aided synthesis: a game-theoretic approach
+Normal rank
@@ Property / cites work @@
+Secure equilibria in weighted games
@@ Property / cites work: Secure equilibria in weighted games / rank @@
+Normal rank
@@ Property / cites work @@
+Q6134271
@@ Property / cites work: Q6134271 / 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 @@
+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 @@
+Computer Science Logic
@@ Property / cites work: Computer Science 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 @@
+Existence of Secure Equilibrium in Multi-player Games with Perfect Information
+Normal rank
@@ Property / cites work @@
+Admissible Strategies in Infinite Games over Graphs
+Normal rank
@@ Property / cites work @@
+Q4382287
@@ Property / cites work: Q4382287 / rank @@
+Normal rank
@@ Property / cites work @@
+Rational Synthesis
@@ Property / cites work: Rational Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+A Characterization of Subgame-Perfect Equilibrium Plays in Borel Games of Perfect Information
+Normal rank
@@ Property / cites work @@
+Subgame-perfect equilibria of finite- and infinite-horizon games
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Q4599509
@@ Property / cites work: Q4599509 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5013875
@@ Property / cites work: Q5013875 / rank @@
+Normal rank
@@ Property / cites work @@
+Existence and Characterization of Perfect Equilibrium in Games of Perfect Information
+Normal rank
@@ Property / cites work @@
+Synthesis with rational environments
@@ Property / cites work: Synthesis with rational environments / rank @@
+Normal rank
@@ Property / cites work @@
+Automata on infinite trees
@@ Property / cites work: Automata on infinite trees / 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 @@
+Q5844986
@@ Property / cites work: Q5844986 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3576736
@@ Property / cites work: Q3576736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4610958
@@ Property / cites work: Q4610958 / rank @@
+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