related documents Towards manipulation planning with temporal logic specifications Conference Proceeding