R. S., A. Andrade, A. Costa, and F. Barboza.
" 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>, São Paulo/SP, 2013, pp. 97-102, doi: <a href="https://doi.org/10.5753/wesaac.2013.33176">https://doi.org/10.5753/wesaac.2013.33176</a>.