Graded modalities in strategy logic (Q1641034): Difference between revisions

@@ Property / cites work @@
+Q2908844
@@ Property / cites work: Q2908844 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning About Strategies
@@ Property / cites work: Reasoning About Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Strategy logic
@@ Property / cites work: Strategy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about equilibria in game-like concurrent systems
+Normal rank
@@ Property / cites work @@
+Q5144683
@@ Property / cites work: Q5144683 / rank @@
+Normal rank
@@ Property / cites work @@
+NASH EQUILIBRIA IN LOAD BALANCING IN DISTRIBUTED COMPUTER SYSTEMS
+Normal rank
@@ Property / cites work @@
+On the uniqueness of Nash strategies for a class of analytic differential games
+Normal rank
@@ Property / cites work @@
+Q3006123
@@ Property / cites work: Q3006123 / rank @@
+Normal rank
@@ Property / cites work @@
+Game theory for control of optical networks.
@@ Property / cites work: Game theory for control of optical networks. / rank @@
+Normal rank
@@ Property / cites work @@
+In so many possible worlds
@@ Property / cites work: In so many possible worlds / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028805
@@ Property / cites work: Q4028805 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809076
@@ Property / cites work: Q4809076 / rank @@
+Normal rank
@@ Property / cites work @@
+Graded computation tree logic
@@ Property / cites work: Graded computation tree logic / rank @@
+Normal rank
@@ Property / cites work @@
+On CTL* with Graded Path Modalities
@@ Property / cites work: On CTL* with Graded Path Modalities / rank @@
+Normal rank
@@ Property / cites work @@
+Graded Alternating-Time Temporal Logic
@@ Property / cites work: Graded Alternating-Time Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic
+Normal rank
@@ Property / cites work @@
+Q5357709
@@ Property / cites work: Q5357709 / rank @@
+Normal rank
@@ Property / cites work @@
+Relentful Strategic Reasoning in Alternating-Time Temporal Logic
+Normal rank
@@ Property / cites work @@
+Module checking
@@ Property / cites work: Module checking / rank @@
+Normal rank
@@ Property / cites work @@
+Enriched MU-Calculi Module Checking
@@ Property / cites work: Enriched MU-Calculi Module Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Essentials of Game Theory: A Concise Multidisciplinary Introduction
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to branching-time model checking
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees
+Normal rank
@@ Property / cites work @@
+Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
+Normal rank
@@ Property / cites work @@
+Q3576736
@@ Property / cites work: Q3576736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4004283
@@ Property / cites work: Q4004283 / rank @@
+Normal rank
@@ Property / cites work @@
+Rational Behaviour and Strategy Construction in Infinite Multiplayer Games
+Normal rank
@@ Property / cites work @@
+ATL with Strategy Contexts and Bounded Memory
@@ Property / cites work: ATL with Strategy Contexts and Bounded Memory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2908843
@@ Property / cites work: Q2908843 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about graded strategy quantifiers
@@ Property / cites work: Reasoning about graded strategy quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Nash and correlated equilibria: Some complexity considerations
+Normal rank
@@ Property / cites work @@
+New complexity results about Nash equilibria
@@ Property / cites work: New complexity results about Nash equilibria / rank @@
+Normal rank
@@ Property / cites work @@
+Q2757826
@@ Property / cites work: Q2757826 / rank @@
+Normal rank