Correction: (Un)Solvable loop analysis. - Amrollahi, Daneshvar; Bartocci, Ezio; Kenison, George; Kovács, Laura; Moosbrugger, Marcel; Stankovič, Miroslav (Formal Methods in System Design, 2025)