2 papers
eess.SY2026
Quantitative Verification of Constrained Occupation Time for Stochastic Discrete-time Systems
Bai Xue, Peixin Wang, C. -H. Luke Ong
This paper addresses the quantitative verification of constrained occupation time in stochastic discrete-time systems, focusing on the probability of visiting a target set at least…
cs.FL2025
Structural Abstraction and Refinement for Probabilistic Programs
Guanyan Li, Juanen Li, Zhilei Han +3
In this paper, we present structural abstraction refinement, a novel framework for verifying the threshold problem of probabilistic programs. Our approach represents the structure…