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

Daniel GburekDaniel Gburek, Christel BaierChristel Baier

DOI Link

Daniel Gburek, Christel Baier
Bisimulations, logics, and trace distributions for stochastic systems with rewards
Proc. of 21st International Conference on Hybrid Systems: Computation and Control (HSCC), 31--40, 2018. ACM

Details
Bibtex

KurzfassungAbstract
Stochastic systems with rewards yield a generic stochastic model where both the state and the action space might be uncountable and where every action is decorated by a real-valued reward. For every deterministic stochastic system with rewards we prove that the bisimulation relation and the trace-distribution relation collapse. As a second result, we also establish a characterisation of the bisimulation relation in terms of an expressive action-based probabilistic logic and show that this characterisation is still maintained by a small fragment of this logic.
Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

@inproceedings{GB2018,
  author    = {Daniel Gburek and Christel Baier},
  title     = {Bisimulations, logics, and trace distributions for stochastic
               systems with rewards},
  booktitle = {Proc. of 21st International Conference on Hybrid Systems:
               Computation and Control (HSCC)},
  publisher = {ACM},
  year      = {2018},
  pages     = {31--40},
  doi       = {10.1145/3178126.3178139}
}