@article{boudardara2024tecs,
  title={A review of abstraction methods toward verifying neural networks},
  author={Boudardara, Fateh and Boussif, Abderraouf and Meyer, Pierre-Jean and Ghazel, Mohamed},
  journal={ACM Transactions on Embedded Computing Systems},
  volume={23},
  number={4},
  pages={1--19},
  year={2024},
}