Automated Planning Domain Inference for Task and Motion Planning. - Jinbang Huang; Allen Tao; Rozilyn Marco; Miroslav Bogdanovic; Jonathan Kelly; Florian Shkurti (CoRR, 2024)