Reasoning About Strategies (Q2946746): Difference between revisions

@@ Property / cites work @@
+A game of cops and robbers
@@ Property / cites work: A game of cops and robbers / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Pushdown module checking with imperfect information
+Normal rank
@@ Property / cites work @@
+Substructure Temporal Logic
@@ Property / cites work: Substructure Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Graded computation tree logic
@@ Property / cites work: Graded computation tree logic / rank @@
+Normal rank
@@ Property / cites work @@
+Graded Computation Tree Logic with Binary Coding
@@ Property / cites work: Graded Computation Tree Logic with Binary Coding / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Enriched Mu-Calculi
@@ Property / cites work: The Complexity of Enriched Mu-Calculi / rank @@
+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 @@
+Reasoning about temporal properties of rational play
+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 @@
+Strategy Logic
@@ Property / cites work: Strategy Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Strategy logic
@@ Property / cites work: Strategy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2908843
@@ Property / cites work: Q2908843 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantified CTL: Expressiveness and Model Checking
@@ Property / cites work: Quantified CTL: Expressiveness and Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850061
@@ Property / cites work: Q4850061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / 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 @@
+Coordination Logic
@@ Property / cites work: Coordination Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Rational Synthesis
@@ Property / cites work: Rational Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Reasoning about Actions Meets Strategic Logics
@@ Property / cites work: Reasoning about Actions Meets Strategic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789458
@@ Property / cites work: Q4789458 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-Checking Iterated Games
@@ Property / cites work: Model-Checking Iterated Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4681371
@@ Property / cites work: Q4681371 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of parallel programs
@@ Property / cites work: Formal verification of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q5339289
@@ Property / cites work: Q5339289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809076
@@ Property / cites work: Q4809076 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4542592
@@ Property / cites work: Q4542592 / rank @@
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to branching-time model checking
+Normal rank
@@ Property / cites work @@
+Module checking
@@ Property / cites work: Module checking / rank @@
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722064
@@ Property / cites work: Q4722064 / rank @@
+Normal rank
@@ Property / cites work @@
+What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic
+Normal rank
@@ Property / cites work @@
+On the Boundary of Behavioral Strategies
@@ Property / cites work: On the Boundary of Behavioral Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+A Behavioral Hierarchy of Strategy Logic
@@ Property / cites work: A Behavioral Hierarchy of Strategy Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2908844
@@ Property / cites work: Q2908844 / rank @@
+Normal rank
@@ Property / cites work @@
+Relentful Strategic Reasoning in Alternating-Time Temporal Logic
+Normal rank
@@ Property / cites work @@
+Alternating automata on infinite trees
@@ Property / cites work: Alternating automata on infinite trees / rank @@
+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 @@
+Q3999542
@@ Property / cites work: Q3999542 / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Coalitional Power in Games
@@ Property / cites work: A Modal Logic for Coalitional Power in Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies
+Normal rank
@@ Property / cites work @@
+Q3940830
@@ Property / cites work: Q3940830 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+ATL* Satisfiability Is 2EXPTIME-Complete
@@ Property / cites work: ATL* Satisfiability Is 2EXPTIME-Complete / rank @@
+Normal rank
@@ Property / cites work @@
+The complementation problem for Büchi automata with applications to temporal logic
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+A Temporal Logic for the Interaction of Strategies
+Normal rank