The following publications are possibly variants of this publication:
- Inner-approximating Reach-avoid Sets for Discrete-time Polynomial SystemsBai Xue 0001, Naijun Zhan, Martin Fränzle. cdc 2020: 867-873 [doi]
- Inner Approximating Robust Reach-Avoid Sets for Discrete-Time Polynomial Dynamical SystemsChangyuan Zhao, Shuyuan Zhang, Lei Wang 0055, Bai Xue 0001. tac, 68(8):4682-4694, August 2023. [doi]
- Under-Approximating Reach Sets for Polynomial Continuous SystemsBai Xue 0001, Martin Fränzle, Naijun Zhan. hybrid 2018: 51-60 [doi]
- Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying UncertaintiesBai Xue 0001, Martin Fränzle, Naijun Zhan. tac, 65(4):1468-1483, 2020. [doi]