Reachability-Guaranteed Optimal Control for the Interception of Dynamic Targets under Uncertainty. - Tommaso Faraci; Roberto Lampariello (CoRR, 2025)