@article{boudardara2024tnnls,
  title={{INN}abstract: an {INN}-based abstraction method for large-scale neural network verification},
  author={Boudardara, Fateh and Boussif, Abderraouf and Meyer, Pierre-Jean and Ghazel, Mohamed},
  journal={IEEE Transactions on Neural Networks and Learning Systems},
  volume={35},
  number={12},
  pages={18455--18469},
  year={2024},
}