TY  - RPRT
TI  - Performance Heuristics for GR(1) Synthesis and Related Algorithms
AU  - Elizabeth Firman
AU  - Shahar Maoz
AU  - Jan Oliver Ringert
PY  - 2017
DO  - 10.4204/eptcs.260.7
UR  - https://arxiv.org/abs/1712.01103
ID  - 1712.01103
ER  -