@misc{indiciaec35e739bf390,
  title = {Robust Non-termination Analysis of Numerical Software},
  author = {Bai Xue and Naijun Zhan and Yangjia Li and Qiuye Wang},
  year = {2018},
  url = {https://arxiv.org/abs/1804.01391},
  note = {Source identifier: 1804.01391}
}