Hosseinkhani, Elaheh, E 		Leucker, Martin.
" Inference of Deterministic Finite Automata via Q-Learning" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (3 dezembro 2025)