Hierarchical information and the synthesis of distributed strategies (Q1629748): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963724868
@@ Property / OpenAlex ID: W2963724868 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03883
@@ Property / arXiv ID: 1506.03883 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds for multiplayer noncooperative games of incomplete information
+Normal rank
@@ Property / cites work @@
+Q4508395
@@ Property / cites work: Q4508395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3165948
@@ Property / cites work: Q3165948 / rank @@
+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 @@
+A Perfect-Information Construction for Coordination in Games
+Normal rank
@@ Property / cites work @@
+Hierarchical Information Patterns and Distributed Strategy Synthesis
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+Distributed synthesis for well-connected architectures
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+The complexity of reasoning about knowledge and time. I: Lower bounds
+Normal rank
@@ Property / cites work @@
+Nondeterministic Space is Closed under Complementation
+Normal rank
@@ Property / cites work @@
+On the (High) Undecidability of Distributed Synthesis Problems
+Normal rank
@@ Property / cites work @@
+Space-bounded reducibility among combinatorial problems
+Normal rank
@@ Property / cites work @@
+Q4535033
@@ Property / cites work: Q4535033 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484484
@@ Property / cites work: Q4484484 / rank @@
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q5015395
@@ Property / cites work: Q5015395 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed synthesis for acyclic architectures
@@ Property / cites work: Distributed synthesis for acyclic architectures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4074888
@@ Property / cites work: Q4074888 / rank @@
+Normal rank
@@ Property / cites work @@
+The method of forced enumeration for nondeterministic automata
+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 @@
+Five Determinisation Algorithms
@@ Property / cites work: Five Determinisation Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Economy of description for single-valued transducers
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1629748