Научная
деятельность
Университет ИТМО

Меню

Публикации

1. Ulyantsev V., Zakirzyanov I., Shalyto A. BFS-Based Symmetry Breaking Predicates for DFA Identification // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2015, Vol. 8977, pp. 611-622


2. Ovsiannikova P., Chivilikhin D., Ulyantsev V., Stankevich A., Zakirzyanov I., Vyatkin V., Shalyto A. Active learning of formal plant models for cyber-physical systems // Proceedings of 16th IEEE Interantional Conference on Industrial Informatics, INDIN 2018 - 2018, pp. 719-724


3. Zakirzyanov I., Morgado A., Ignatiev A., Ulyantsev V., Marques-Silva J. Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2019, Vol. 11417, pp. 159-173