Rissardi, M., & 		Santos, F.
(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>, (pp. 264-275). Porto Alegre: SBC.
doi:10.5753/wesaac.2026.31982