Static Analysis of ReLU Neural Networks with Tropical Polyhedra. - Eric Goubault; Sébastien Palumby; Sylvie Putot; Louis Rustenholz; Sriram Sankaranarayanan 001 (SAS, 2021)