PEGASUS 시험 자동화·생성·안전 논증

논리 시나리오의 매개변수 변화, 시뮬레이션과 안전 지표 평가를 연결해 안전 위반 가능성을 분석합니다.