Agile Temporal Discretization for Symbolic Optimal Control. - Adrien Janssens; Adrien Banse; Julien Calbert; Raphaël M. Jungers (CoRR, 2025)