TY  - RPRT
TI  - Distributed PROMPT-LTL Synthesis
AU  - Swen Jacobs
AU  - Leander Tentrup
AU  - Martin Zimmermann
PY  - 2016
DO  - 10.4204/eptcs.226.16
UR  - https://arxiv.org/abs/1509.05144
ID  - 1509.05144
ER  -