@article{dripdomainrefinementiterationwith,
  title = {DRIP: Domain Refinement Iteration with Polytopes for Backward Reachability Analysis of Neural Feedback Loops},
  author = {Michael Everett and Rudy Bunel and Shayegan Omidshafiei},
  year = {2022},
  eprint = {2212.04646},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2212.04646v2},
}