Georg Friedrich Schuppe, Ilaria Torre 0001, Iolanda Leite, Jana Tumova. Follow my Advice: Assume-Guarantee Approach to Task Planning with Human in the Loop. In Kostas E. Bekris, Kris Hauser, Sylvia L. Herbert, Jingjin Yu, editors, Robotics: Science and Systems XIX, Daegu, Republic of Korea, July 10-14, 2023. 2023. [doi]
Abstract is missing.