@doctoralThesis{Dimitrova_2013,
title={Synthesis and control of infinite-state systems with partial observability},
author={Dimitrova, Rayna},
doi={http://dx.doi.org/10.22028/D291-26587},
year={2013}
}