Lothar Kiltz, Marc Janocha, Joachim Rudolph. Algebraic estimation of impact times: Juggling a ball with a magnetically levitated plate. In 2nd International Conference on Systems and Computer Science, ICSCS 2013, Villeneuve d'Ascq, France, August 26-27, 2013. pages 145-149, IEEE, 2013. [doi]
Abstract is missing.