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