Safety-Certified Consensus Control of Multi-Agent Systems Based on Finite-Time Control Barrier Function | IEEE Conference Publication | IEEE Xplore