BibTeX record journals/corr/abs-2006-14947

download as .bib file

@article{DBLP:journals/corr/abs-2006-14947,
  author    = {Murat Cubuktepe and
               Zhe Xu and
               Ufuk Topcu},
  title     = {Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal
               Logic Specifications},
  journal   = {CoRR},
  volume    = {abs/2006.14947},
  year      = {2020}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics