Hybrid Zonotopes Exactly Represent ReLU Neural Networks. - Joshua Ortiz; Alyssa Vellucci; Justin Koeln; Justin Ruths (CDC, 2023)