%0 Thesis %1 phd/dnb/Gnad21 %A Gnad, Daniel %D 2021 %K dblp %T Star-topology decoupled state-space search in AI planning and model checking.

@phdthesis{phd/dnb/Gnad21, added-at = {2022-07-20T00:00:00.000+0200}, author = {Gnad, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2a39571e27e19c04c245c8f27d50293f7/dblp}, ee = {https://d-nb.info/1247027643}, interhash = {581b43ac09e97005e698c4ccfe7fedcc}, intrahash = {a39571e27e19c04c245c8f27d50293f7}, keywords = {dblp}, school = {Saarland University, Saarbrücken, Germany}, timestamp = {2024-04-09T08:30:19.000+0200}, title = {Star-topology decoupled state-space search in AI planning and model checking.}, year = 2021 }