Scalable Forward Reachability Analysis of Multi-Agent Systems with Neural Network Controllers

Oliver Gates, Matthew Newton, Konstantinos Gatsis

Neural networks (NNs) have been shown to learn complex control laws successfully, often with performance advantages or decreased computational cost compared to alternative methods.…