Team: Luís Soares Barbosa, José Nuno Oliveira and Alexandre Madeira
Abstract: A actividade do HASLab neste projecto resume-se ao estudo da introdução de métodos formais no domínio da robótica e a sua articulação com as ferramentas de desenvolvimento standard nessa área.