@doctoralThesis{Gnad_2021, title={Star-topology decoupled state-space search in AI planning and model checking}, author={Gnad, Daniel}, doi={http://dx.doi.org/10.22028/D291-35035}, year={2021} }