Learning regular sets from queries and counterexamples, Inf. Comput, vol.75, issue.2, pp.87-106, 1987. ,
Computational learning theory: Survey and selected bibliography, Proceedings of the Twenty-fourth Annual ACM Symposium on Theory of Computing, pp.351-369, 1992. ,
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. ,
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. ,
Model Checking, 1999. ,
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. ,
Ensemble methods in machine learning, Proceedings of the First International Workshop on Multiple Classifier Systems, pp.1-15, 2000. ,
Lstm recurrent networks learn simple context-free and context-sensitive languages, IEEE Transactions on Neural Networks, vol.12, issue.6, pp.1333-1340, 2001. ,
Learning and extracting finite state automata with second-order recurrent neural networks, Neural Comput, vol.4, issue.3, pp.393-405, 1992. ,
Explaining explanations: An approach to evaluating interpretability of machine learning, 2018. ,
Complexity of automaton identification from given data, Information and Control, vol.37, issue.3, pp.302-320, 1978. ,
Minimally supervised number normalization, vol.4, pp.507-519, 2016. ,
, Proceedings of the Adaptive and Learning Agents Workshop, 2010.
A survey of methods for explaining black box models, 2018. ,
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. ,
, Grammatical Inference: Learning Automata and Grammars, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00476128
Long short-term memory, Neural Comput, vol.9, issue.8, pp.1735-1780, 1997. ,
What do we need to build explainable ai systems for the medical domain?, 2017. ,
A glass-box interactive machine learning approach for solving np-hard problems with the human-in-the-loop, 2017. ,
Deep learning, Nature, vol.521, pp.436-444, 2015. ,
Rationalizing neural predictions, Empirical Methods in Natural Language Processing, 2016. ,
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. ,
A logical calculus of the ideas immanent in nervous activity, The bulletin of mathematical biophysics, vol.5, issue.4, pp.115-133, 1943. ,
Active automata learning for real life applications, 2013. ,
Passively learning finite automata, 1996. ,
Constructing deterministic finite-state automata in recurrent neural networks, J. ACM, vol.43, issue.6, pp.937-972, 1996. ,
Malware classification with recurrent networks, 2015 IEEE International Conference on Acoustics, Speech and Signal Processing, vol.2015, pp.1916-1920, 2015. ,
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. ,
A theory of the learnable, Commun. ACM, vol.27, issue.11, pp.1134-1142, 1984. ,
Recurrent residual learning for sequence classification, Proc. 2016 Conference on Empirical Methods in Natural Language Processing, pp.938-943, 2016. ,
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. ,
A brief survey on sequence classification, SIGKDD Explor. Newsl, vol.12, issue.1, pp.40-48, 2010. ,
Intrusion detection using hierarchical neural networks, Pattern Recognition Letters, vol.26, issue.6, pp.779-791, 2005. ,
Pattern based sequence classification, IEEE Transactions on Knowledge and Data Engineering, vol.28, issue.5, pp.1285-1298, 2016. ,
A C-LSTM neural network for text classification, 2015. ,