통계적 모델 검사의 기반을 개선하는 방법: 확률 추정의 정확성 향상

통계적 모델 검사에서 마르코프 의사결정 프로세스의 전이 확률을 더 정확하게 추정하는 방법을 제안한다. 기존 방법보다 적은 샘플 수로도 주어진 정확도를 달성할 수 있다.