@misc{indiciaef5bb014c54ff,
  title = {Computing Distances between Reach Flowpipes},
  author = {Rupak Majumdar and Vinayak S. Prabhu},
  year = {2016},
  url = {https://arxiv.org/abs/1602.03266},
  note = {Source identifier: 1602.03266}
}