27 citations · 62 across the 16 of their papers we have counts for
1 paper · 1 filter
Hongfei Fu
In this paper, we consider multi-dimensional maximal cost-bounded reachability probability over continuous-time Markov decision processes (CTMDPs). Our major contributions are as f…