Login / Signup

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

Iksoon HwangNina YevtushenkoAna R. Cavalli
Published in: Inf. Process. Lett. (2012)
Keyphrases