@inproceedings{boudardara2022waise,
  title={Interval weight-based abstraction for neural network verification},
  author={Boudardara, Fateh and Boussif, Abderraouf and Meyer, Pierre-Jean and Ghazel, Mohamed},
  booktitle={$5^{th}$ International Workshop on Artificial Intelligence Safety Engineering},
  pages={330--342},
  year={2022}
}