@misc{indiciaefd716659ed6e,
  title = {Convex Computations for Controlled Safety Invariant Sets of Black-box Discrete-time Dynamical Systems},
  author = {Taoran Wu and Yiling Xue and Jingduo Pan and Dejin Ren and Arvind Easwaran and Bai Xue},
  year = {2026},
  url = {https://arxiv.org/abs/2504.01638},
  note = {Source identifier: 2504.01638}
}