Scalable Forward Reachability Analysis of Multi-Agent Systems with Neural Network Controllers. - Oliver Gates; Matthew Newton; Konstantinos Gatsis (CDC, 2023)