본 논문은 복잡한 확률적 시스템의 안전성 분석을 위해 분할 확률적 장벽 함수(Piecewise Stochastic Barrier Functions, PW-SBF)를 제안한다. 특히 분할 상수 확률적 장벽 함수(Piecewise Constant Stochastic Barrier Functions, PWC-SBF)를 소개하고, 이를 효율적으로 합성하기 위한 세 가지 계산 방법을 제시한다.
