Hybrid model- and learning-based methods for safe and robust urban localization