1. Grachev P., Muravyov S., Filchenkov A., Shalyto A. Automata generation based on recurrent neural networks and automated cauterization selection // Information and Control Systems. 2020. № 1. C. 34-43.