Hybrid control of multi-agent systems under local temporal tasks and relative-distance constraints | IEEE Conference Publication | IEEE Xplore