S., Rui, 		Andrade, Aline, 		Costa, Augusto, AND 		Barboza, Frederico.
" An Experiment of Verification of Multi-agent Robotic Soccer Plans with Model Checking" <em>Proceedings of the Workshop-School on Agents, Environments, and Applications (WESAAC)</em> [Online], (26 May 2013)