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

DOI10.1007/978-3-319-66335-7_12zbMath1420.68151arXiv1706.06486OpenAlexW3126464085MaRDI QIDQ5194930

Clemens Dubslaff, Ľuboš Korenčiak, Vojtěch Řehák, Antonín Kučera, Christel Baier

Publication date: 17 September 2019

Published in: Quantitative Evaluation of Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1706.06486

Mathematics Subject Classification ID

Computational methods in Markov chains (60J22) Markov and semi-Markov decision processes (90C40) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

Special subclass of generalized semi-Markov decision processes with discrete time

This page was built for publication: Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms