State-Regularized Recurrent Neural Networks to Extract Automata and Explain Predictions | IEEE Journals & Magazine | IEEE Xplore