TY  - RPRT
TI  - Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned
AU  - Leonid Ryzhyk
AU  - Adam Walker
PY  - 2016
DO  - 10.4204/eptcs.229.8
UR  - https://arxiv.org/abs/1611.07624
ID  - 1611.07624
ER  -