TY  - RPRT
TI  - Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications
AU  - Suguman Bansal
AU  - Yong Li
AU  - Lucas M. Tabajara
AU  - Moshe Y. Vardi
PY  - 2020
UR  - https://arxiv.org/abs/1911.08145
ID  - 1911.08145
ER  -