Login / Signup

Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes.

Martin R. NeuhäußerLijun Zhang
Published in: QEST (2010)
Keyphrases