cfaed Publications
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms
Reference
Christel Baier, Clemens Dubslaff, \v Luboš Koren\v ciak, Antonín Ku\v cera, Vojt\v ech \v Rehák, "Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms", In Proceeding: Proc. of the 14th International Conference on Quantitative Evaluation of Systems (QEST), 2017.
Bibtex
@inproceedings{BDKKR17a,
author = {Christel Baier and Clemens Dubslaff and {\v L}ubo{\v s} Koren{\v c}iak and Anton{\'i}n Ku{\v c}era and Vojt{\v e}ch {\v R}eh{\'a}k},
title = {Mean-Payoff Optimization in Continuous-Time {Markov} Chains with Parametric Alarms},
booktitle = {Proc. of the 14th International Conference on Quantitative Evaluation of Systems (QEST)},
year = 2017,
note = {Accepted for publication},
}
author = {Christel Baier and Clemens Dubslaff and {\v L}ubo{\v s} Koren{\v c}iak and Anton{\'i}n Ku{\v c}era and Vojt{\v e}ch {\v R}eh{\'a}k},
title = {Mean-Payoff Optimization in Continuous-Time {Markov} Chains with Parametric Alarms},
booktitle = {Proc. of the 14th International Conference on Quantitative Evaluation of Systems (QEST)},
year = 2017,
note = {Accepted for publication},
}
Downloads
No Downloads available for this publication
Related Paths
HAEC, Orchestration Path, Resilience Path
Permalink
https://cfaed.tu-dresden.de/publications?pubId=1556