강화 학습 정책의 안전성을 보장하면서도 해석 가능한 방법인 VERINTER를 제안한다. VERINTER는 모델 검사와 신경망 가지치기를 결합하여 신경망 연결의 안전성에 대한 영향을 정량적으로 분석할 수 있다.