서브메뉴
검색
On Using Formal Methods for Safe and Robust Robot Autonomy
On Using Formal Methods for Safe and Robust Robot Autonomy
상세정보
- 자료유형
- 학위논문파일 국외
- 최종처리일시
- 20220210094740
- ISBN
- 9798494462374
- DDC
- 620
- 서명/저자
- On Using Formal Methods for Safe and Robust Robot Autonomy
- 발행사항
- [Sl] : Stanford University, 2021
- 발행사항
- Ann Arbor : ProQuest Dissertations & Theses, 2021
- 형태사항
- 156 p
- 주기사항
- Source: Dissertations Abstracts International, Volume: 83-05, Section: B.
- 주기사항
- Advisor: Pavone, Marco;Gerdes, J. ;Schwager, Mac.
- 학위논문주기
- Thesis (Ph.D.)--Stanford University, 2021.
- 사용제한주기
- This item must not be sold to any third party vendors.
- 일반주제명
- Robots
- 일반주제명
- Temporal logic
- 일반주제명
- Planning
- 일반주제명
- Neural networks
- 일반주제명
- Cognition & reasoning
- 일반주제명
- Artificial intelligence
- 일반주제명
- Cognitive psychology
- 일반주제명
- Logic
- 일반주제명
- Psychology
- 일반주제명
- Robotics
- 기타저자
- Stanford University.
- 기본자료저록
- Dissertations Abstracts International. 83-05B.
- 기본자료저록
- Dissertation Abstract International
- 전자적 위치 및 접속
- 로그인 후 원문을 볼 수 있습니다.
MARC
008220131s2021 us c eng d■001000016055295
■00520220210094740
■020 ▼a9798494462374
■035 ▼a(MiAaPQ)AAI28812906
■040 ▼aMiAaPQ▼cMiAaPQ
■0820 ▼a620
■1001 ▼aLeung, Karen Yan Ming.
■24510▼aOn Using Formal Methods for Safe and Robust Robot Autonomy
■260 ▼a[Sl]▼bStanford University▼c2021
■260 1▼aAnn Arbor▼bProQuest Dissertations & Theses▼c2021
■300 ▼a156 p
■500 ▼aSource: Dissertations Abstracts International, Volume: 83-05, Section: B.
■500 ▼aAdvisor: Pavone, Marco;Gerdes, J. ;Schwager, Mac.
■5021 ▼aThesis (Ph.D.)--Stanford University, 2021.
■506 ▼aThis item must not be sold to any third party vendors.
■590 ▼aSchool code: 0212.
■650 4▼aRobots
■650 4▼aTemporal logic
■650 4▼aPlanning
■650 4▼aNeural networks
■650 4▼aCognition & reasoning
■650 4▼aArtificial intelligence
■650 4▼aCognitive psychology
■650 4▼aLogic
■650 4▼aPsychology
■650 4▼aRobotics
■690 ▼a0800
■690 ▼a0633
■690 ▼a0395
■690 ▼a0621
■690 ▼a0771
■71020▼aStanford University.
■7730 ▼tDissertations Abstracts International▼g83-05B.
■773 ▼tDissertation Abstract International
■790 ▼a0212
■791 ▼aPh.D.
■792 ▼a2021
■793 ▼aEnglish
■85640▼uhttp://www.riss.kr/pdu/ddodLink.do?id=T16055295▼nKERIS▼z이 자료의 원문은 한국교육학술정보원에서 제공합니다.
■980 ▼a202202▼f2022
