Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata

Natalia Kushik, Nina Yevtushenko. Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata. In Frank Drewes, editor, Implementation and Application of Automata - 20th International Conference, CIAA 2015, UmeƄ, Sweden, August 18-21, 2015, Proceedings. Volume 9223 of Lecture Notes in Computer Science, pages 188-198, Springer, 2015. [doi]

Authors

Natalia Kushik

This author has not been identified. Look up 'Natalia Kushik' in Google

Nina Yevtushenko

This author has not been identified. Look up 'Nina Yevtushenko' in Google