Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs
Iksoon Hwang, Nina Yevtushenko, Ana CavalliVolume:
112
Année:
2012
Langue:
english
Pages:
4
DOI:
10.1016/j.ipl.2011.12.012
Fichier:
PDF, 126 KB
english, 2012