Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes.

Hongfei Fu

Browse the full FOSSACS paper archive.