Vega-Brown, W.; Roy, N. Task and Motion Planning Is PSPACE-Complete. AAAI 2020, 34, 10385-10392.