TY  - RPRT
TI  - Synthesizing communication plans for reachability and safety specifications
AU  - Kazumune Hashimoto
AU  - Dimos V. Dimarogonas
PY  - 2019
UR  - https://arxiv.org/abs/1902.07461
ID  - 1902.07461
ER  -