Igor B. Burdonov, Alexandre Kossachev, Nina Yevtushenko, Alexey V. Demakov. Evaluating the length of distinguishing sequences for nondeterministic Input/Output automata. In 2019 IEEE East-West Design & Test Symposium, EWDTS 2019, Batumi, Georgia, September 13-16, 2019. pages 1-5, IEEE, 2019. [doi]
Abstract is missing.