Heurísticas e solução automática eficiente para problemas espaciais:HoASP (MDP) e quebra-cabeça espacial See

Análise da aplicação de controladores em robôs móveis See

Prova de correção do algoritmo oASP (MDP) utilizando representação diagramática See

Definição e implementação de uma semântica de supervaloração para polissemia em expressões espaciais See