연구논문
FEARL: 검증 가능한 로봇 안전 모듈
FEARL은 대규모 인식·추론 제어기와 제한된 센서·문맥 입력을 받는 작은 안전 모듈을 분리합니다. 세 가지 시뮬레이션 환경과 실제 로봇 전이 시험을 제시합니다. 검증 범위는 정의된 작은 모듈이며 인터페이스 가정과 전체 로봇 위험은 별도로 평가해야 합니다.
검토 기준일 2026-11-05 · 원출처·서지정보 확인
원출처의 서지정보와 자료 개요를 확인했습니다. 원문 접근 조건과 판본은 출처에 표시되어 있습니다.
- 원문 제목
- Verifiable Foundation Models for Robot Safety
- 발행처
- arXiv
- 저자
- Corsi, Davide, Kim, Kyungmin, Fox, Roy
- DOI
- 10.48550/arxiv.2606.23754
- 최초 아카이브 등록일
- 2026-06-22
- 원문 언어
- en
- 원출처 국가
- US
- 판본
- v1
- 접근 조건
- 공개 아카이브 서지정보 및 원고
- 출판 상태
- 프리프린트
관련 자료와 기술 해설
자료 개요
FEARL은 대규모 인식·추론 제어기와 제한된 센서·문맥 입력을 받는 작은 안전 모듈을 분리합니다. 세 가지 시뮬레이션 환경과 실제 로봇 전이 시험을 제시합니다. 검증 범위는 정의된 작은 모듈이며 인터페이스 가정과 전체 로봇 위험은 별도로 평가해야 합니다.
이용 및 검토
원 아카이브 초록과 서지정보를 바탕으로 작성한 독자적 요약입니다. 전문 기술 검토와 원어민 검토는 대기 중입니다. 보고된 방법만으로 실제 안전 기능이나 달성 PL이 입증되지는 않습니다.
출처와 판본
Verifiable Foundation Models for Robot Safety ↗
arXiv · v1
arXiv abstract, authors, submission history and DOI links; first posting 2026-06-22, abstract reviewed in v1. Publisher dates are separate.