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

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

Latest revision as of 13:26, 16 December 2024

scientific article
Language Label Description Also known as
English
The relation between preset distinguishing sequences and synchronizing sequences
scientific article

    Statements

    The relation between preset distinguishing sequences and synchronizing sequences (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    5 August 2016
    0 references
    finite state machines
    0 references
    preset distinguishing sequence
    0 references
    synchronizing sequences
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers