GRACHEV, P.; MURAVYOV, S.; FILCHENKOV, A.; SHALYTO, A. Automata generation based on recurrent neural networks and automated cauterization selection. Information and Control Systems, n. 1, p. 34-43, 20 fev. 2020.