id author title date pages extension mime words sentence flesch summary cache txt 9w032229v93 Xiaobin Zhang Correct-by-Design Human-Robot Collaboration through Supervisory Control of POMDP 1904 .txt text/plain 447 20 35 Human-Robot Collaboration (HRC) studies how to achieve effective collaborations between human and robots to take advantage of the flexibility from human and the autonomy from robots. These applications motivate the requirements of HRC to have the performance guarantee to assure the task completion and safety of both human and robots. cache/9w032229v93.txt txt/9w032229v93.txt