Control Barrier Functions for Multi-Agent Systems Under Conflicting Local Signal Temporal Logic Tasks | IEEE Journals & Magazine | IEEE Xplore