Strong stationary times for finite Heisenberg walksLaurent MicloESAIM: PS, 27 (2023) 515-557DOI: https://doi.org/10.1051/ps/2023008
