@misc{indiciaebb29226400e5,
  title = {Beyond Robustness: Resilience Verification of Tree-Based Classifiers},
  author = {Stefano Calzavara and Lorenzo Cazzaro and Claudio Lucchese and Federico Marcuzzi and Salvatore Orlando},
  year = {2021},
  url = {https://arxiv.org/abs/2112.02705},
  note = {Source identifier: 2112.02705}
}