Verification of Collision Avoidance in Multiagent Systems with Neural Networks

The author presents ReBAR, an algorithm for verifying the collision avoidance safety of Multi-Agent Neural Feedback Loops (MA-NFLs) by computing relative backprojection sets with state uncertainty offline and providing real-time safety guarantees.