Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs

by Hwang, Iksoon
Published in Information processing letters

The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs

by Yenigün, Hüsnü
Published in Information processing letters