Rui S., Aline Andrade, Augusto Costa, and Frederico Barboza. 2013.
 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>, maio 26, 2013, São Paulo/SP, Brasil. SBC, Porto Alegre, Brasil, 97-102.