En esta tesis doctoral se presenta una metodología y una serie de herramientas y procedimientos asociados que permiten obtener de forma estructurada e incremental controladores para robots autónomos, los cuales deben de ser capaces de realizar tareas en entornos dinámicos…