Hosseinkhani, E., & 		Leucker, M.
2025 dez  3.  Inference of Deterministic Finite Automata via Q-Learning. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :