Lower Bound on Howard Policy Iteration for Deterministic Markov Decision Processes. - Ali Asadi; Krishnendu Chatterjee; Jakob de Raaij (UAI, 2025)