Star-topology decoupled state-space search in AI planning and model checking

Daniel Gnad. Star-topology decoupled state-space search in AI planning and model checking. PhD thesis, Saarland University, Saarbrücken, Germany, 2021. [doi]

Abstract

Abstract is missing.