S., R., 		Andrade, A., 		Costa, A., & 		Barboza, F.
2013 mai 26.  An Experiment of Verification of Multi-agent Robotic Soccer Plans with Model Checking. Anais do Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC). [Online] :