Reinforcement Learning for Reachability: Guaranteeing Asymptotic Optimality. - Amogh Palasamudram; Jakub Svoboda; Suguman Bansal; Krishnendu Chatterjee (CoRR, 2026)