@entry{zha-raj-kua-ooi-18-aa,
  author = {R Zhang and A Rajan and YC Kuang and MPL Ooi...},
  title = {Towards implementing uncertainty propagation in probabilistic floating-point computation error bounding},
  journal = {2018 IEEE ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2018,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/8409672/?casa_token=DiWUJt2BgGsAAAAA:ZsTd58XcR4jqG26Lgy6RXwCKxw3YtJv__RwJpEgBsE16yqRBjIbTtACh1RgaK7cq0m4Sko6D}}},
  quotes = {... bounds instead of mathematically guaranteed bounds, the tightness of the bounds can be substantially improved compared to the mainstream interval arithmetic and affine arithmetic ...}
}