Grachev, P., Muravyov, S., Filchenkov, A. and Shalyto, A. (2020) “Automata generation based on recurrent neural networks and automated cauterization selection”, Information and Control Systems, (1), pp. 34-43. DOI: 10.31799/1684-8853-2020-1-34-43.