Automatically Encoding, Modifying, and Finding Robot Skills to Repair High-Level Tasks.
- 주제(키워드) Formal methods , Skill modification , Specification repair
- 발행기관 Cornell University
- 발행년도 2022
- 학위명 박사
- 학과 및 전공 Mechanical Engineering
- ISBN 9798819368831
- UCI I804:11009-000000272075
- DOI 10.23186/korea.000000272075.11009.0001346
- 제출원본 PQDT29165581
