Murat Cubuktepe, Zhe Xu 0005, Ufuk Topcu. Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications. In Amal El Fallah-Seghrouchni, Gita Sukthankar, Bo An 0001, Neil Yorke-Smith, editors, Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '20, Auckland, New Zealand, May 9-13, 2020. pages 267-275, International Foundation for Autonomous Agents and Multiagent Systems, 2020. [doi]
Abstract is missing.