Control in belief space with temporal logic specifications using vision-based localization | Publicación