Rissardi, M., & 		Santos, F.
2026 out 19.  An Automated Approach for Verifying Learned Policies of Q-Learning Agents in NetLogo. Anais do Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC). [Online] :