27 citations · 62 across the 16 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2013★ 1 cited
Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes
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…
eess.SY2012
Approximating Acceptance Probabilities of CTMC-Paths on Multi-Clock Deterministic Timed Automata
Hongfei Fu
We consider the problem of approximating the probability mass of the set of timed paths under a continuous-time Markov chain (CTMC) that are accepted by a deterministic timed autom…