Formal design of integrated task and motion planning of mobile manipulators in a common
workspace, where other agents can also manipulate objects in the workspace, is a …