Computer-Assisted Global Analysis for Vibro-impact Dynamics: A Reduced Smooth Maps Approach. - Lanjing Bao; Rachel Kuske; Daniil Yurchenko; Igor Belykh (SIAM J. Appl. Dyn. Syst., 2025)