Bisimulations, logics, and trace distributions for stochastic systems with rewards
From International Center for Computational Logic
Bisimulations, logics, and trace distributions for stochastic systems with rewards
Daniel GburekDaniel Gburek, Christel BaierChristel Baier
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
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
- 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}
}