이 논문은 확률적 이산 시간 동적 시스템의 유한 시간 안전성 및 도달-회피 검증을 연구합니다. 안전 집합 내에서 시작하는 시스템이 주어진 유한 시간 내에 안전 집합을 벗어나거나 목표 집합에 도달할 확률의 하한과 상한을 결정하는 것이 목표입니다. 이를 위해 새로운 장벽 유사 충분 조건을 제안하며, 이는 기존 조건을 보완하거나 공백을 메웁니다.
