Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms

Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák