TY  - RPRT
TI  - Compositional abstraction and safety synthesis using overlapping symbolic models
AU  - Pierre-Jean Meyer
AU  - Antoine Girard
AU  - Emmanuel Witrant
PY  - 2017
DO  - 10.1109/tac.2017.2753039
UR  - https://arxiv.org/abs/1704.07124
ID  - 1704.07124
ER  -