Yasser Shoukry
EMSOFT 2024: 24th International Conference on Embedded Software
BERN-NN-IBF: Enhancing Neural Network Bound Propagation Through Implicit Bernstein Form and Optimized Tensor Operations
EMSOFT 2012: 12th International Conference on Embedded Software
Input-Output Robustness for Discrete Systems