Distributed barrier function-enabled human-in-the-loop control for multi-robot systems | IEEE Conference Publication | IEEE Xplore