S., R., 		Andrade, A., 		Costa, A., & 		Barboza, F.
(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>, (pp. 97-102). Porto Alegre: SBC.
doi:10.5753/wesaac.2013.33176