Grachev, Petr, Sergey Muravyov, Andrey Filchenkov, and Anatoly Shalyto. 2020. “Automata Generation Based on Recurrent Neural Networks and Automated Cauterization Selection”. Information and Control Systems, no. 1 (February), 34-43. https://doi.org/10.31799/1684-8853-2020-1-34-43.