"Control of continuous-time Markov chains with safety upper bounds."

Shun-Pin Hsu (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics