S., Rui, Aline M. S. Andrade, Augusto Loureiro da Costa, and Frederico J. R. Barboza.
" An Experiment of Verification of Multi-agent Robotic Soccer Plans with Model Checking." <em>Anais do VII Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações,
São Paulo/SP, 2013</em>. SBC, 2013,  
pp.97-102.