Transmissões

Data

WESAAC 2013 - An Experiment of Verification of Multi-agent Robotic Soccer Plans with Model Checking

Normal Expandido
Formato
Reportar Erro
Denunciar
Incorporar
Recomendar
Gostei
269 visualizações
Publicado em Thu Jun 06 13:40:35 BRT 2013
Formatos:  MP4 (640 X 360 px)

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.