W. Vega-Brown and N. Roy, “Task and Motion Planning Is PSPACE-Complete”, AAAI, vol. 34, no. 06, pp. 10385-10392, Apr. 2020.