D. Angluin, Learning regular sets from queries and counterexamples, Inf. Comput, vol.75, issue.2, pp.87-106, 1987.

D. Angluin, Computational learning theory: Survey and selected bibliography, Proceedings of the Twenty-fourth Annual ACM Symposium on Theory of Computing, pp.351-369, 1992.

G. Bologna and Y. Hayashi, Characterization of symbolic rules embedded in deep dimlp networks: A challenge to transparency of deep learning, Journal of Artificial Intelligence and Soft Computing Research, vol.7, issue.4, pp.265-286, 2017.

T. G. Calderon and J. J. Cheh, A roadmap for future neural networks research in auditing and risk assessment, second International Research Symposium on Accounting Information Systems, vol.3, pp.203-236, 2002.

J. Clarke, E. M. Grumberg, O. Peled, and D. A. , Model Checking, 1999.

L. Deng and J. Chen, Sequence classification using the high-level features extracted from deep neural networks, 2014 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), pp.6844-6848, 2014.

T. G. Dietterich, Ensemble methods in machine learning, Proceedings of the First International Workshop on Multiple Classifier Systems, pp.1-15, 2000.

F. A. Gers and E. Schmidhuber, Lstm recurrent networks learn simple context-free and context-sensitive languages, IEEE Transactions on Neural Networks, vol.12, issue.6, pp.1333-1340, 2001.

C. L. Giles, C. B. Miller, D. Chen, H. H. Chen, G. Z. Sun et al., Learning and extracting finite state automata with second-order recurrent neural networks, Neural Comput, vol.4, issue.3, pp.393-405, 1992.

L. H. Gilpin, D. Bau, B. Z. Yuan, A. Bajwa, M. Specter et al., Explaining explanations: An approach to evaluating interpretability of machine learning, 2018.

E. M. Gold, Complexity of automaton identification from given data, Information and Control, vol.37, issue.3, pp.302-320, 1978.

K. Gorman and R. Sproat, Minimally supervised number normalization, vol.4, pp.507-519, 2016.

, Proceedings of the Adaptive and Learning Agents Workshop, 2010.

R. Guidotti, A. Monreale, F. Turini, D. Pedreschi, and F. Giannotti, A survey of methods for explaining black box models, 2018.

J. Heinz, C. De-la-higuera, and M. Van-zaanen, Formal and empirical grammatical inference, Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Tutorial Abstracts of ACL 2011. pp. 2:1-2:83. HLT '11, 2011.

C. De-la-higuera, Grammatical Inference: Learning Automata and Grammars, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00476128

S. Hochreiter and J. Schmidhuber, Long short-term memory, Neural Comput, vol.9, issue.8, pp.1735-1780, 1997.

A. Holzinger, C. Biemann, C. S. Pattichis, and D. B. Kell, What do we need to build explainable ai systems for the medical domain?, 2017.

A. Holzinger, M. Plass, K. Holzinger, G. C. Crisan, C. M. Pintea et al., A glass-box interactive machine learning approach for solving np-hard problems with the human-in-the-loop, 2017.

Y. Lecun, Y. Bengio, and G. Hinton, Deep learning, Nature, vol.521, pp.436-444, 2015.

T. Lei, R. Barzilay, and T. Jaakkola, Rationalizing neural predictions, Empirical Methods in Natural Language Processing, 2016.

P. Malhotra, L. Vig, G. Shroff, and P. Agarwal, Long short term memory networks for anomaly detection in time series, Proceedings of 23rd European Symp. on Artificial Neural Networks, Computational Intelligence and Machine Learning, 2015.

W. S. Mcculloch and W. Pitts, A logical calculus of the ideas immanent in nervous activity, The bulletin of mathematical biophysics, vol.5, issue.4, pp.115-133, 1943.

M. Merten, Active automata learning for real life applications, 2013.

K. Murphy, Passively learning finite automata, 1996.

C. W. Omlin and C. L. Giles, Constructing deterministic finite-state automata in recurrent neural networks, J. ACM, vol.43, issue.6, pp.937-972, 1996.

R. Pascanu, J. W. Stokes, H. Sanossian, M. Marinescu, and A. Thomas, Malware classification with recurrent networks, 2015 IEEE International Conference on Acoustics, Speech and Signal Processing, vol.2015, pp.1916-1920, 2015.

R. Sarikaya, G. E. Hinton, and A. Deoras, Application of deep belief networks for natural language understanding, IEEE/ACM Transactions on Audio, Speech, and Language Processing, vol.22, issue.4, pp.778-784, 2014.

L. G. Valiant, A theory of the learnable, Commun. ACM, vol.27, issue.11, pp.1134-1142, 1984.

Y. Wang and F. Tian, Recurrent residual learning for sequence classification, Proc. 2016 Conference on Empirical Methods in Natural Language Processing, pp.938-943, 2016.

G. Weiss, Y. Goldberg, and E. Yahav, Extracting automata from recurrent neural networks using queries and counterexamples, Proceedings of the 35th International Conference on Machine Learning. Proceedings of Machine Learning Research, vol.80, pp.10-15, 2018.

Z. Xing, J. Pei, and E. Keogh, A brief survey on sequence classification, SIGKDD Explor. Newsl, vol.12, issue.1, pp.40-48, 2010.

C. Zhang, J. Jiang, and M. Kamel, Intrusion detection using hierarchical neural networks, Pattern Recognition Letters, vol.26, issue.6, pp.779-791, 2005.

C. Zhou, B. Cule, and B. Goethals, Pattern based sequence classification, IEEE Transactions on Knowledge and Data Engineering, vol.28, issue.5, pp.1285-1298, 2016.

C. Zhou, C. Sun, Z. Liu, and F. C. Lau, A C-LSTM neural network for text classification, 2015.