Boolean Composability of Constraints and Control Synthesis for Multi-Robot Systems via Nonsmooth Control Barrier Functions | IEEE Conference Publication | IEEE Xplore