Nina Yevtushenko, Victor V. Kuliamin, Natalia Kushik. Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs. In Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall, editors, Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings. Volume 11812 of Lecture Notes in Computer Science, pages 86-103, Springer, 2019. [doi]
Abstract is missing.