Hosseinkhani, E., & 		Leucker, M.
(2025).
 Inference of Deterministic Finite Automata via Q-Learning.
In <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais</em>, (pp. 179-195). Porto Alegre: SBC.