Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control

Fatnassi, Wael, Haitham Khedr, Valen Yamamoto, and Yasser Shoukry. (2023). Bern-nn: Tight bound propagation for neural networks using bernstein polynomial interval arithmetic. Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, pp. 1-11.