cfaed Publications

Bisimulations, Logics, and Trace Distributions for Stochastic Systems with Rewards

Reference

Daniel Gburek, Christel Baier, "Bisimulations, Logics, and Trace Distributions for Stochastic Systems with Rewards" , Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (Part of CPS Week), ACM, pp. 31–40, New York, NY, USA, 2018. [doi]

Bibtex

@inproceedings{Gburek:2018:BLT:3178126.3178139,
author = {Gburek, Daniel and Baier, Christel},
title = {Bisimulations, Logics, and Trace Distributions for Stochastic Systems with Rewards},
booktitle = {Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (Part of CPS Week)},
series = {HSCC '18},
year = {2018},
isbn = {978-1-4503-5642-8},
location = {Porto, Portugal},
pages = {31--40},
numpages = {10},
url = {http://doi.acm.org/10.1145/3178126.3178139},
doi = {10.1145/3178126.3178139},
acmid = {3178139},
publisher = {ACM},
address = {New York, NY, USA},
}

Downloads

No Downloads available for this publication

Related Paths

HAEC, Orchestration Path

Permalink

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


Go back to publications list