Prediction without Preclusion: Recourse Verification with Reachable Sets

Open in new window