1 paper
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…