Grachev, P.; Muravyov, S.; Filchenkov, A.; Shalyto, A. Automata Generation Based on Recurrent Neural Networks and Automated Cauterization Selection. ICS 2020, 34-43.