E. Hosseinkhani and M. Leucker.
" Inference of Deterministic Finite Automata via Q-Learning", in <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais</em>, Recife/PE, 2025, pp. 179-195.