Synchronizing words under \textsf{LTL} constraints (Q6161453): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ipl.2023.106392
+Normal rank
@@ Property / OpenAlex ID @@
+W4324370661
@@ Property / OpenAlex ID: W4324370661 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509690
@@ Property / cites work: Q5509690 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2978507
@@ Property / cites work: Q2978507 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite Synchronizing Words for Probabilistic Automata
+Normal rank
@@ Property / cites work @@
+The complexity of synchronizing Markov decision processes
+Normal rank
@@ Property / cites work @@
+An extremal problem for two families of sets
@@ Property / cites work: An extremal problem for two families of sets / rank @@
+Normal rank
@@ Property / cites work @@
+On the Length of the Smallest Uniform Experiment which Distinguishes the Terminal States of a Machine
+Normal rank
@@ Property / cites work @@
+The Cerny Conjecture Holds with High Probability
@@ Property / cites work: The Cerny Conjecture Holds with High Probability / rank @@
+Normal rank
@@ Property / cites work @@
+On two Combinatorial Problems Arising from Automata Theory
+Normal rank
@@ Property / cites work @@
+Synchronizing Data Words for Register Automata
@@ Property / cites work: Synchronizing Data Words for Register Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial complete problems in automata theory
@@ Property / cites work: Polynomial complete problems in automata theory / rank @@
+Normal rank
@@ Property / cites work @@
+Relationships between nondeterministic and deterministic tape complexities
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+An improvement to a recent upper bound for synchronizing words of finite automata
+Normal rank
@@ Property / cites work @@
+Q3304155
@@ Property / cites work: Q3304155 / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronizing Automata and the Černý Conjecture
@@ Property / cites work: Synchronizing Automata and the Černý Conjecture / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6161453