Collision Avoidance Verification of Multiagent Systems With Learned Policies

Published in IEEE L-CSS and IEEE CDC, 2024