@misc{indiciae7c8224a165ca,
  title = {Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization},
  author = {Taoran Wu and Yiling Xue and Dejin Ren and Arvind Easwaran and Martin Fränzle and Bai Xue},
  year = {2025},
  url = {https://arxiv.org/abs/2506.06679},
  note = {Source identifier: 2506.06679}
}