연구진은 안전성이 중요한 환경에 자율 시스템을 배치하기 위한 제어 정책 합성 방법론 SMC-ES를 제안했어요.
SMC-ES는 진화 전략과 통계적 모델 검증 기반 검증을 통합하여 성능, 안전, 강건성 명세에 대한 형식적 보증을 제공해요.
Gymnasium 및 Safety Gymnasium 테스트베드에서 실험 결과, SMC-ES는 기존 DRL 및 Safe-DRL 대비 경쟁력 있는 성능을 보이며 보증을 제공했어요.
SMC-ES는 특정 속성 검증, 신뢰도 파라미터 δ, 허용 실패 확률 ε을 기반으로 합성된 정책이 최소한의 계산 비용 증가로 형식적 보증을 제공해요.