On Provably Safe and Live Multirobot Coordination With Online Goal Posting | IEEE Journals & Magazine | IEEE Xplore