확률 시스템의 결정성 및 하이브리드 모델 적용

본 논문은 확률 전이 시스템(STS)의 결정성(decisiveness) 개념을 일반화하는 새로운 판정 기준을 제시하고, 이를 이용해 강한 리셋을 갖는 확률 하이브리드 시스템(SHS)의 결정성을 증명한다. 또한 o‑minimal 구조 하에서 정의 가능한 확률 분포를 제한함으로써, 해당 클래스의 도달 가능성 문제를 알고리즘적으로 해결할 수 있음을 보인다.

저자: ** Parosh A. Abdulla, Noomene Ben Henda, Richard Mayr (원 논문