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>Proceedings of the 7th Workshop-School on Agents, Environments, and Applications</em>, May 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>.