The relation between preset distinguishing sequences and synchronizing sequences (Q736851): Difference between revisions

@@ Property / DOI @@
-.1007/s00165-014-0297-8
@@ Property / DOI: 10.1007/s00165-014-0297-8 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-014-0297-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2060548618
@@ Property / OpenAlex ID: W2060548618 / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronizing monotonic automata
@@ Property / cites work: Synchronizing monotonic automata / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronizing generalized monotonic automata
@@ Property / cites work: Synchronizing generalized monotonic automata / rank @@
+Normal rank
@@ Property / cites work @@
+Testing methods for X-machines: a review
@@ Property / cites work: Testing methods for X-machines: a review / rank @@
+Normal rank
@@ Property / cites work @@
+Model-based testing of reactive systems. Advanced lectures.
+Normal rank
@@ Property / cites work @@
+Synchronizing finite automata with short reset words
+Normal rank
@@ Property / cites work @@
+Q5509690
@@ Property / cites work: Q5509690 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing Software Design Modeled by Finite-State Machines
+Normal rank
@@ Property / cites work @@
+Q5629545
@@ Property / cites work: Q5629545 / rank @@
+Normal rank
@@ Property / cites work @@
+Reset Sequences for Monotonic Automata
@@ Property / cites work: Reset Sequences for Monotonic Automata / rank @@
+Normal rank
@@ Property / cites work @@
+P(l)aying for Synchronization
@@ Property / cites work: P(l)aying for Synchronization / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating Minimum Reset Sequences
@@ Property / cites work: Approximating Minimum Reset Sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+A Method for the Design of Fault Detection Experiments
+Normal rank
@@ Property / cites work @@
+Lower bounds on lengths of checking sequences
@@ Property / cites work: Lower bounds on lengths of checking sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems – FORTE 2004
+Normal rank
@@ Property / cites work @@
+Reducibility among Combinatorial Problems
@@ Property / cites work: Reducibility among Combinatorial Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines
+Normal rank
@@ Property / cites work @@
+Q4165287
@@ Property / cites work: Q4165287 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Length of Homing Sequences for Nondeterministic Finite State Machines
+Normal rank
@@ Property / cites work @@
+Testing finite-state machines: state identification and verification
+Normal rank
@@ Property / cites work @@
+Complexity of Problems Concerning Carefully Synchronizing Words for PFA and Directing Words for NFA
+Normal rank
@@ Property / cites work @@
+Complexity of problems concerning reset words for cyclic and Eulerian automata
+Normal rank
@@ Property / cites work @@
+Synchronization of Automata with One Undefined or Ambiguous Transition
+Normal rank
@@ Property / cites work @@
+Careful Synchronization of Partial Automata with Restricted Alphabets
+Normal rank
@@ Property / cites work @@
+Implementation and application of automata. 17th international conference, CIAA 2012, Porto, Portugal, July 17--20, 2012. Proceedings
+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 @@
+Testing restorable systems: formal definition and heuristic solution based on river formation dynamics
+Normal rank
@@ Property / cites work @@
+Reset words for commutative and solvable automata
@@ Property / cites work: Reset words for commutative and solvable automata / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation testing of automata
@@ Property / cites work: Simulation testing of automata / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing checking sequences for distributed testing
+Normal rank
@@ Property / cites work @@
+Synchronizing Automata and the Černý Conjecture
@@ Property / cites work: Synchronizing Automata and the Černý Conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Q3629037
@@ Property / cites work: Q3629037 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00165-014-0297-8
@@ Property / DOI: 10.1007/S00165-014-0297-8 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q130963922
@@ Property / Wikidata QID: Q130963922 / rank @@
+Normal rank