TY  - RPRT
TI  - DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis
AU  - Amol Wakankar
AU  - Paritosh K. Pandya
AU  - Raj Mohan Matteplackel
PY  - 2017
UR  - https://arxiv.org/abs/1711.01823
ID  - 1711.01823
ER  -