A convergent algorithm for ranking and selection with censored observations. (4th May 2023)