cfaed Publications

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

Reference

Christel Baier and, "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},
}

Downloads

No Downloads available for this publication

Related Paths

HAEC, Orchestration Path, Resilience Path

Permalink

https://cfaed.tu-dresden.de/publications?pubId=1551


Go back to publications list