Efficient Certified Training and Robustness Verification of Neural ODEs. - Zeqiri, Mustafa; Müller, Mark Niklas; Fischer, Marc; Vechev, Martin T. (CoRR, 2023)