TY  - RPRT
TI  - The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems
AU  - Hadas Kress-Gazit
AU  - Hazem Torfah
PY  - 2019
DO  - 10.4204/eptcs.286.5
UR  - https://arxiv.org/abs/1901.00591
ID  - 1901.00591
ER  -