TLSketch Generating and Verifying Planning Sketches using Temporal Logic https://studenttheses.uu.nl/handle/20.500.12932/44610
