Infinite games with finite knowledge gaps (Q528188): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2016.10.009
@@ Property / DOI: 10.1016/j.ic.2016.10.009 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W1890835473
@@ Property / OpenAlex ID: W1890835473 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5820
@@ Property / arXiv ID: 1411.5820 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086918
@@ Property / cites work: Q3086918 / rank @@
+Normal rank
@@ Property / cites work @@
+On the (High) Undecidability of Distributed Synthesis Problems
+Normal rank
@@ Property / cites work @@
+Lower bounds for multiplayer noncooperative games of incomplete information
+Normal rank
@@ Property / cites work @@
+Game Quantification on Automatic Structures and Hierarchical Model Checking Games
+Normal rank
@@ Property / cites work @@
+Hierarchical Information Patterns and Distributed Strategy Synthesis
+Normal rank
@@ Property / cites work @@
+Information tracking in games on graphs
@@ Property / cites work: Information tracking in games on graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501688
@@ Property / cites work: Q4501688 / rank @@
+Normal rank
@@ Property / cites work @@
+A Perfect-Information Construction for Coordination in Games
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of reasoning about knowledge and time. I: Lower bounds
+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 @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4348133
@@ Property / cites work: Q4348133 / rank @@
+Normal rank
@@ Property / cites work @@
+Context-sensitive string languages and recognizable picture languages
+Normal rank
@@ Property / cites work @@
+Recognizable picture languages and domino tiling
@@ Property / cites work: Recognizable picture languages and domino tiling / rank @@
+Normal rank
@@ Property / cites work @@
+Q5678435
@@ Property / cites work: Q5678435 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3341896
@@ Property / cites work: Q3341896 / rank @@
+Normal rank
@@ Property / cites work @@
+Agreeing to disagree
@@ Property / cites work: Agreeing to disagree / rank @@
+Normal rank
@@ Property / cites work @@
+Q3576736
@@ Property / cites work: Q3576736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4221242
@@ Property / cites work: Q4221242 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3483262
@@ Property / cites work: Q3483262 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite Coordination Games
@@ Property / cites work: Infinite Coordination Games / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge and common knowledge in a distributed environment
+Normal rank
@@ Property / cites work @@
+Consensus Game Acceptors
@@ Property / cites work: Consensus Game Acceptors / rank @@
+Normal rank
@@ Property / cites work @@
+Some Results on Tape-Bounded Turing Machines
@@ Property / cites work: Some Results on Tape-Bounded Turing Machines / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of two-player games of incomplete information
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+Space-bounded reducibility among combinatorial problems
+Normal rank
@@ Property / cites work @@
+The Complexity of Decentralized Control of Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank
@@ Property / cites work @@
+Q4535033
@@ Property / cites work: Q4535033 / rank @@
+Normal rank
@@ Property / cites work @@
+Coordination Logic
@@ Property / cites work: Coordination Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed synthesis for well-connected architectures
+Normal rank
@@ Property / cites work @@
+Distributed synthesis for acyclic architectures
@@ Property / cites work: Distributed synthesis for acyclic architectures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4994895
@@ Property / cites work: Q4994895 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2016.10.009
@@ Property / DOI: 10.1016/J.IC.2016.10.009 / rank @@
+Normal rank