On Guaranteed Capture in Multi-Player Reach-Avoid Games via Coverage Control | IEEE Journals & Magazine | IEEE Xplore