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