Bisimulations, logics, and trace distributions for stochastic systems with rewards

DOI10.1145/3178126.3178139zbMath1409.68187OpenAlexW2795955369MaRDI QIDQ4561429

Daniel Gburek, Christel Baier

Publication date: 6 December 2018

Published in: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3178126.3178139

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

This page was built for publication: Bisimulations, logics, and trace distributions for stochastic systems with rewards