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. DOI: <a href="https://doi.org/10.5753/wesaac.2013.33176">https://doi.org/10.5753/wesaac.2013.33176</a>.