본 연구는 신경망 장벽 인증서를 활용하여 자율 시스템의 온라인 안전 검증을 수행하는 새로운 기술을 제시한다. 이 접근법은 주어진 초기 집합, 위험 집합 및 시간 범위에 따라 매개변수화된 신경망 장벽 인증서를 사용하여 유한 및 무한 시간 범위에 대한 도달 가능성 분석을 효율적으로 수행한다.
