New paper on generalizing Hamilton-Jacobi reachability for constraints beyond collision-avoidance by leveraging the representations learned by world models. Check out our project website here