@doctoralThesis{Tentrup_2019,
title={Symbolic reactive synthesis},
author={Tentrup, Leander},
doi={http://dx.doi.org/10.22028/D291-29983},
adress={Saarbrücken},
year={2019}
}