@misc{indiciaeb1fe47a27440,
  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 = {2023},
  url = {https://arxiv.org/abs/2212.04646},
  note = {Source identifier: 2212.04646}
}