Convex Computations for Controlled Safety Invariant Sets of Black-box Discrete-time Dynamical Systems. - Taoran Wu; Yiling Xue; Jingduo Pan; Dejin Ren; Arvind Easwaran; Bai Xue 001 (CoRR, 2025)