Rissardi, Mateus, E 		Santos, Fernando.
" An Automated Approach for Verifying Learned Policies of Q-Learning Agents in NetLogo" <em>Anais do Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC)</em> [Online], (19 outubro 2026)