Carregando
WESAAC 2013 - An Experiment of Verification of Multi-agent Robotic Soccer Plans with Model Checking
1007 visualizações
Publicado em Thu Jun 06 13:40:35 GMT-03:00 2013
Formatos:
MP4
(640 X 360 px)
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.
