Q3384875 (Q3384875): Difference between revisions

@@ Property / author @@
+Jean-François Raskin
@@ Property / author: Jean-François Raskin / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility in Infinite Games
@@ Property / cites work: Admissibility in Infinite Games / 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 @@
+The complexity of admissibility in Omega-regular games
+Normal rank
@@ Property / cites work @@
+Subgame Perfection for Equilibria in Quantitative Reachability Games
+Normal rank
@@ Property / cites work @@
+Q5351977
@@ Property / cites work: Q5351977 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer aided synthesis: a game-theoretic approach
+Normal rank
@@ Property / cites work @@
+Q5009445
@@ Property / cites work: Q5009445 / rank @@
+Normal rank
@@ Property / cites work @@
+Secure equilibria in weighted games
@@ Property / cites work: Secure equilibria in weighted games / rank @@
+Normal rank
@@ Property / cites work @@
+On the Existence of Weak Subgame Perfect Equilibria
+Normal rank
@@ Property / cites work @@
+Games with secure equilibria
@@ Property / cites work: Games with secure equilibria / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Parity Games
@@ Property / cites work: Generalized Parity Games / rank @@
+Normal rank
@@ Property / cites work @@
+Modalities for model checking: Branching time logic strikes back
+Normal rank
@@ Property / cites work @@
+Rational Synthesis
@@ Property / cites work: Rational Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Perfect-Information Games with Lower-Semicontinuous Payoffs
+Normal rank
@@ Property / cites work @@
+Q2816007
@@ Property / cites work: Q2816007 / rank @@
+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 @@
+Synthesis with rational environments
@@ Property / cites work: Synthesis with rational environments / 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 @@
+On the synthesis of strategies in infinite games
@@ Property / cites work: On the synthesis of strategies in infinite games / 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