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