Bisimulations, logics, and trace distributions for stochastic systems with rewards
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
Abstract
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.
Details
Original language | English |
---|---|
Title of host publication | HSCC '18 |
Publisher | Association for Computing Machinery (ACM), New York |
Pages | 31-40 |
Number of pages | 10 |
ISBN (print) | 978-1-4503-5642-8 |
Publication status | Published - 2018 |
Peer-reviewed | Yes |
Conference
Title | 21st ACM International Conference on Hybrid Systems: Computation and Control |
---|---|
Abbreviated title | HSCC 2018 |
Conference number | 21 |
Description | (part of CPS Week) |
Duration | 11 - 13 April 2018 |
Website | |
Degree of recognition | International event |
Location | Palácio da Bolsa |
City | Porto |
Country | Portugal |
External IDs
Scopus | 85049456770 |
---|---|
ORCID | /0000-0002-5321-9343/work/142236716 |
Keywords
Keywords
- stochastic differential equations, Markov processes, probabilistic representations, concurrency, timed and hybrid models, modal and temporal logics, stochastic processes