Weighted automata on infinite words in the context of attacker-defender games (Q2013554): Difference between revisions

@@ Property / cites work @@
+Q4992530
@@ Property / cites work: Q4992530 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability Games on Extended Vector Addition Systems with States
+Normal rank
@@ Property / cites work @@
+Q2958522
@@ Property / cites work: Q2958522 / rank @@
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to branching-time model checking
+Normal rank
@@ Property / cites work @@
+Pushdown processes: Games and model-checking
@@ Property / cites work: Pushdown processes: Games and model-checking / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of second-order theories and automata on infinite trees
+Normal rank
@@ Property / cites work @@
+Regular solutions of language inequalities and well quasi-orders
+Normal rank
@@ Property / cites work @@
+The power of commuting with finite sets of words
@@ Property / cites work: The power of commuting with finite sets of words / rank @@
+Normal rank
@@ Property / cites work @@
+On effective construction of the greatest solution of language inequality \(XA\subseteq BX\)
+Normal rank
@@ Property / cites work @@
+Unprovability results involving braids
@@ Property / cites work: Unprovability results involving braids / rank @@
+Normal rank
@@ Property / cites work @@
+Q3546269
@@ Property / cites work: Q3546269 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003861
@@ Property / cites work: Q4003861 / rank @@
+Normal rank
@@ Property / cites work @@
+Braid Group Cryptography
@@ Property / cites work: Braid Group Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+A Categorical Presentation of Quantum Computation with Anyons
+Normal rank
@@ Property / cites work @@
+Composition Problems for Braids
@@ Property / cites work: Composition Problems for Braids / rank @@
+Normal rank
@@ Property / cites work @@
+Q3741057
@@ Property / cites work: Q3741057 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4265634
@@ Property / cites work: Q4265634 / rank @@
+Normal rank
@@ Property / cites work @@
+What’s Decidable about Weighted Automata?
@@ Property / cites work: What’s Decidable about Weighted Automata? / rank @@
+Normal rank
@@ Property / cites work @@
+A variant of a recursively unsolvable problem
@@ Property / cites work: A variant of a recursively unsolvable problem / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability in Binary Tag Systems and the Post Correspondence Problem for Five Pairs of Words
+Normal rank
@@ Property / cites work @@
+Undecidability of infinite post correspondence problem for instances of Size 9
+Normal rank
@@ Property / cites work @@
+Undecidability of infinite post correspondence problem for instances of size 8
+Normal rank
@@ Property / cites work @@
+Undecidability of Two-dimensional Robot Games
@@ Property / cites work: Undecidability of Two-dimensional Robot Games / rank @@
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Two-letter group codes that preserve aperiodicity of inverse finite automata.
+Normal rank
@@ Property / cites work @@
+Q2893294
@@ Property / cites work: Q2893294 / rank @@
+Normal rank
@@ Property / cites work @@
+ON THE UNDECIDABILITY OF THE IDENTITY CORRESPONDENCE PROBLEM AND ITS APPLICATIONS FOR WORD AND MATRIX SEMIGROUPS
+Normal rank
@@ Property / cites work @@
+Polynomial-time algorithm for the orbit problem
@@ Property / cites work: Polynomial-time algorithm for the orbit problem / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability problems in quaternion matrix and rotation semigroups
+Normal rank
@@ Property / cites work @@
+On undecidability bounds for matrix decision problems
+Normal rank
@@ Property / cites work @@
+A survey of computational complexity results in systems and control
+Normal rank
@@ Property / cites work @@
+REACHABILITY PROBLEMS FOR PRODUCTS OF MATRICES IN SEMIRINGS
+Normal rank
@@ Property / cites work @@
+UNDECIDABILITY BOUNDS FOR INTEGER MATRICES USING CLAUS INSTANCES
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2004
@@ Property / cites work: Mathematical Foundations of Computer Science 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Developments in Language Theory
@@ Property / cites work: Developments in Language Theory / rank @@
+Normal rank
@@ Property / cites work @@
+On the unsolvability of the conjugacy problem for subgroups of the group \(R_5\) of pure braids
+Normal rank
@@ Property / cites work @@
+Subgroups of the braid group \(B_ 4\)
@@ Property / cites work: Subgroups of the braid group \(B_ 4\) / rank @@
+Normal rank