@misc{indiciaebc4ad7bf4f48,
  title = {ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers},
  author = {James Ferlez and Mahmoud Elnaggar and Yasser Shoukry and Cody Fleming},
  year = {2025},
  url = {https://arxiv.org/abs/2006.09564},
  note = {Source identifier: 2006.09564}
}