Model Checking Markov Reward Models with Impulse Rewards.

Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan

Browse the full DSN paper archive.