Lévai Balázs László: Verified localization of trajectories with prescribed behaviour in the forced damped pendulum. (2012) [Presentation]