Multiplicative Rewards in Markovian Models.

Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer

Browse the full LICS paper archive.