연구논문 · 게시 2026.10.29 · 프리프린트
Foundation Model을 사용하는 학습 기반 CPS의 안전성 확보: 테스트·검증·런타임 보증을 위한 신경기호 접근
Assuring Learning-Enabled Cyber-Physical Systems with Foundation Models: A Neuro-Symbolic Agenda for Testing, Verification, and Runtime Assurance
자료 개요
자율주행 차량 등을 포함한 학습 기반 CPS에 대해 신경기호 아키텍처, 명세 기반 테스트, 조합적 검증과 런타임 보증을 연결하는 연구 방향을 제안합니다. 모델 성능보다 시스템 차원의 증거 구성을 강조합니다.
판본: v1