Localization of a Ground Robot by Aerial Robots for GPS-Deprived Control with Temporal Logic Constraints | Publicación