@misc{indiciaeaff717e79926,
  title = {Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs},
  author = {Christopher Brix and Thomas Noll},
  year = {2021},
  url = {https://arxiv.org/abs/2006.09040},
  note = {Source identifier: 2006.09040}
}