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},
}
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
Permalink
https://cfaed.tu-dresden.de/publications?pubId=2271