A PDA-based high-level human-robot interaction | IEEE Conference Publication | IEEE Xplore