자율 시스템의 안전성을 검증하기 위해 시뮬레이션 기반 프레임워크를 제안합니다. 이 프레임워크는 자율 시스템의 잠재적 고장 모드를 예측하고 제어 정책을 자동으로 수정하여 고장을 사전에 완화합니다.
확률적 동적 시스템에서 비평활 안전 집합을 고려하여 안전성을 보장하는 제어 전략을 제안한다.
