P. Grachev, S. Muravyov, A. Filchenkov, and A. Shalyto, “Automata generation based on recurrent neural networks and automated cauterization selection”, ICS, no. 1, pp. 34-43, Feb. 2020.