Prediction without Preclusion: Recourse Verification with Reachable Sets - Kothari, Avni; Kulynych, Bogdan; Weng, Tsui-Wei; Ustun, Berk (International Conference on Learning Representations, 2024)