Corpus ID: 220128077

Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications

@article{Cubuktepe2020DistributedPS,
  title={Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications},
  author={Murat Cubuktepe and Zhe Xu and U. Topcu},
  journal={ArXiv},
  year={2020},
  volume={abs/2006.14947}
}
  • Murat Cubuktepe, Zhe Xu, U. Topcu
  • Published 2020
  • Computer Science
  • ArXiv
  • We study the distributed synthesis of policies for multi-agent systems to perform spatial-temporal tasks. We formalize the synthesis problem as a factored Markov decision process subject to graph temporal logic specifications. The transition function and task of each agent is a function of the agent itself and its neighboring agents. By leveraging the structure in the model, and the specifications, we develop a distributed algorithm that decomposes the problem into a set of smaller problems… CONTINUE READING

    Figures, Tables, and Topics from this paper.

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 38 REFERENCES
    La Flute-MIDI, l’histoire et quelques applications
    • 1992
    Arbuscular mycorrhizal induced changes to plant growth and root system morphology in Prunus cerasifera.
    201
    Alignment of myoblasts on ultrafine gratings inhibits fusion in vitro.
    73
    Role of miRNAs in CD4 T cell plasticity during inflammation and tolerance
    • 2013
    Graph Temporal Logic Inference for Classification and Identification
    8
    Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications
    7
    Solving Multiple-Block Separable Convex Minimization Problems Using Two-Block Alternating Direction Method of Multipliers
    65
    A DUAL ALGORITHM FOR THE SOLUTION OF NONLINEAR VARIATIONAL PROBLEMS VIA FINITE ELEMENT APPROXIMATION
    1793
    Differentially Private Controller Synthesis With Metric Temporal Logic Specifications
    7