@inproceedings{AK20,
author = {S. Almagor and O. Kupferman},
title = {Good-Enough Synthesis},
booktitle = cav20,
pages = {?},
series = {LIPIcs},
volume = {?},
year = {2020}
}