Distributed Policy Synthesis of Multiagent Systems With Graph Temporal Logic Specifications | IEEE Journals & Magazine | IEEE Xplore