Rissardi, Mateus, and Fernando Santos.
" An Automated Approach for Verifying Learned Policies of Q-Learning Agents in NetLogo." <em>Anais do XX Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações,
Cuiabá/MT, 2026</em>. SBC, 2026,  
pp.264-275.