Assessing User Specifications for Robot Task Planning | IEEE Conference Publication | IEEE Xplore