Bounding the Settling Time of Finite-Time Stable Systems using Sum of Squares. - Sengiyumva Kisole; Kunal Garg; Matthew Peet (CoRR, 2025)