On subgame perfect equilibria in turn-based reachability timed games (Q1996016): Difference between revisions

@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249561
@@ Property / cites work: Q4249561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Nash Equilibria for Reachability Objectives in Multi-player Timed Games
+Normal rank
@@ Property / cites work @@
+Model-checking for real-time systems
@@ Property / cites work: Model-checking for real-time systems / 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 @@
+Computer aided synthesis: a game-theoretic approach
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / 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 @@
+Q4599509
@@ Property / cites work: Q4599509 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability-Time Games on Timed Automata
@@ Property / cites work: Reachability-Time Games on Timed Automata / 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 @@
+Q3512518
@@ Property / cites work: Q3512518 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Rational Behaviour and Strategy Construction in Infinite Multiplayer Games
+Normal rank