Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms

Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera 0001, Vojtech Rehák. Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms. ACM Trans. Model. Comput. Simul., 29(4), 2019. [doi]

No reviews for this publication, yet.