BFS-Based Symmetry Breaking Predicates for DFA Identification

Vladimir Ulyantsev, Ilya Zakirzyanov, Anatoly Shalyto. BFS-Based Symmetry Breaking Predicates for DFA Identification. In Adrian Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe, editors, Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings. Volume 8977 of Lecture Notes in Computer Science, pages 611-622, Springer, 2015. [doi]

Authors

Vladimir Ulyantsev

This author has not been identified. Look up 'Vladimir Ulyantsev' in Google

Ilya Zakirzyanov

This author has not been identified. Look up 'Ilya Zakirzyanov' in Google

Anatoly Shalyto

This author has not been identified. Look up 'Anatoly Shalyto' in Google