cfaed Publications

Reasoning About Cost-Utility Constraints in Probabilistic Models

Reference

Christel Baier, "Reasoning About Cost-Utility Constraints in Probabilistic Models" , Chapter in Reachability Problems, Springer, pp. 1–6, 2015.

Bibtex

@incollection{baier2015reasoning,
title={Reasoning About Cost-Utility Constraints in Probabilistic Models},
author={Baier, Christel},
booktitle={Reachability Problems},
pages={1--6},
year={2015},
publisher={Springer}
}

Downloads

No Downloads available for this publication

Related Paths

HAEC, Orchestration Path, Resilience Path

Permalink

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


Go back to publications list