Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Reachability in continuous-time Markov reward decision processes. In Jörg Flum, Erich Grädel, Thomas Wilke, editors, Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]. Volume 2 of Texts in Logic and Games, pages 53-72, Amsterdam University Press, 2008.
Abstract is missing.