BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic

Wael Fatnassi, Haitham Khedr, Valen Yamamoto, Yasser Shoukry. BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic. In Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, San Antonio, TX, USA, May 9-12, 2023. ACM, 2023. [doi]

@inproceedings{FatnassiKYS23,
  title = {BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic},
  author = {Wael Fatnassi and Haitham Khedr and Valen Yamamoto and Yasser Shoukry},
  year = {2023},
  doi = {10.1145/3575870.3587126},
  url = {https://doi.org/10.1145/3575870.3587126},
  researchr = {https://researchr.org/publication/FatnassiKYS23},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, San Antonio, TX, USA, May 9-12, 2023},
  publisher = {ACM},
}