On differentiability of reward functionals corresponding to Markovian randomized stopping times

We conduct an investigation of the differentiability and continuity of reward functionals associated to Markovian randomized stopping times. Our focus is mostly on the differentiability, which is a crucial ingredient for a common approach to derive analytic expressions for the reward function.