Princeton Robotics Seminar - Hadas Kress-Gazit
Princeton University Robotics · 76:44 · Watch on YouTube
핵심 개요: 이 코넬 대학의 하다스 크레스-가짓(Hadas Kress-Gazit) 교수가 코넬 대학에서 진행한 강연에서, 형식적 방법론(시간 논리 명세, 합성, 모니터링, 반증, 수리)이 최근 데이터 기반 로봇 학습과 파운데이션 모델의 급증과 어떻게 상호 보완적인지를 폭넓고 성찰적으로 조망합니다. 그녀의 핵심 주장은 이 분야가 명세(specifications) — 즉 로봇이 무엇을 해야...