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

Designing Time-Varying Input Sets for Safety and Performance using Constrained Zonotopes. - Alyssa Vellucci; Justin Koeln; Justin Ruths (ACC, 2025)