On Provably Safe and Live Multirobot Coordination With Online Goal ...