Certified Inductive Synthesis for Online Mixed-Integer Optimization. - Marco Zamponi; Emilio Incerto; Daniele Masti; Mirco Tribastone (ICCPS, 2025)