Rigorous Global Optimization for Collision Risk Assessment on Perturbed Orbits | Publicación