TY  - RPRT
TI  - DCSYNTH: Guided Reactive Synthesis with Soft Requirements
AU  - Amol Wakankar
AU  - Paritosh K. Pandya
AU  - Rajmohan Matteplackel
PY  - 2019
UR  - https://arxiv.org/abs/1903.03991
ID  - 1903.03991
ER  -