Manif: A micro Lie theory library for state estimation in robotics applications | Publicación