Mateus Rissardi and Fernando Santos. 2026.
 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>, outubro 19, 2026, Cuiabá/MT, Brasil. SBC, Porto Alegre, Brasil, 264-275. DOI: <a href="https://doi.org/10.5753/wesaac.2026.31982">https://doi.org/10.5753/wesaac.2026.31982</a>.