Generating SAS+ Planning Tasks of Specified Causal StructureMichael KatzJunkyu Leeet al.2023SoCS 2023