Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications

24 Jan 2020 Cubuktepe Murat Xu Zhe Topcu Ufuk

We study the synthesis of policies for multi-agent systems to implement spatial-temporal tasks. We formalize the problem as a factored Markov decision process subject to so-called graph temporal logic specifications... (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • MULTIAGENT SYSTEMS
  • LOGIC IN COMPUTER SCIENCE
  • OPTIMIZATION AND CONTROL

Datasets


  Add Datasets introduced or used in this paper