TY  - RPRT
TI  - Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization
AU  - Taoran Wu
AU  - Yiling Xue
AU  - Dejin Ren
AU  - Arvind Easwaran
AU  - Martin Fränzle
AU  - Bai Xue
PY  - 2025
UR  - https://arxiv.org/abs/2506.06679
ID  - 2506.06679
ER  -