M. Rissardi and F. Santos.
" An Automated Approach for Verifying Learned Policies of Q-Learning Agents in NetLogo", in <em>Anais do XX Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações</em>, Cuiabá/MT, 2026, pp. 264-275, doi: <a href="https://doi.org/10.5753/wesaac.2026.31982">https://doi.org/10.5753/wesaac.2026.31982</a>.