We provide a concise overview of our progress in identifying and certifying globally optimal
solutions of state estimation problems in robotics. We give a summary of the theoretical …