Reachability in continuous-time Markov reward decision processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Christel Baier' in GoogleThis author has not been identified. Look up 'Boudewijn R. Haverkort' in GoogleThis author has not been identified. Look up 'Holger Hermanns' in GoogleThis author has not been identified. It may be one of the following persons:

Joost-Pieter Katoen

Look up 'Joost-Pieter Katoen' in Google

runs on WebDSL