@misc{indiciae46328c99b439,
  title = {Reach-avoid Verification Based on Convex Optimization},
  author = {Bai Xue and Naijun Zhan and Martin Fränzle and Ji Wang and Wanwei Liu},
  year = {2022},
  url = {https://arxiv.org/abs/2208.08105},
  note = {Source identifier: 2208.08105}
}