Red Light, Green Light Game of Multi-Robot Systems with Safety Barrier Certificates.