WESAAC 2013 - An Experiment of Verification of Multi-agent Robotic Soccer Plans with Model Checking
An, Experiment, of, Verification, of, Multi-agent, Robotic, Soccer, Plans, with, Model, Checking, wesaac, 2013
WESAAC 2013 - Sessão Técnica III. "An Experiment of Verification of Multi-agent Robotic Soccer Plans with Model Checking", por Rui C. Botelho A. S., Aline M. S. Andrade, Frederico Barboza e Augusto Loureiro da Costa. Data: 29/05/2013.