Reach-Avoid Games With Two Cooperative Attackers: Value Function and Singular Surfaces | IEEE Journals & Magazine | IEEE Xplore