3 citations · 4 across the 6 of their papers we have counts for
1 paper · 1 filter
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…