TY - RPRT TI - Convex Computations for Controlled Safety Invariant Sets of Black-box Discrete-time Dynamical Systems AU - Taoran Wu AU - Yiling Xue AU - Jingduo Pan AU - Dejin Ren AU - Arvind Easwaran AU - Bai Xue PY - 2026 UR - https://arxiv.org/abs/2504.01638 ID - 2504.01638 ER -