Bisimulations, logics, and trace distributions for stochastic systems with rewards
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
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
| Originalsprache | Englisch |
|---|---|
| Titel | HSCC '18 |
| Herausgeber (Verlag) | Association for Computing Machinery (ACM), New York |
| Seiten | 31-40 |
| Seitenumfang | 10 |
| ISBN (Print) | 978-1-4503-5642-8 |
| Publikationsstatus | Veröffentlicht - 2018 |
| Peer-Review-Status | Ja |
Konferenz
| Titel | 21st ACM International Conference on Hybrid Systems: Computation and Control |
|---|---|
| Kurztitel | HSCC 2018 |
| Veranstaltungsnummer | 21 |
| Beschreibung | (part of CPS Week) |
| Dauer | 11 - 13 April 2018 |
| Webseite | |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | Palácio da Bolsa |
| Stadt | Porto |
| Land | Portugal |
Externe IDs
| Scopus | 85049456770 |
|---|---|
| ORCID | /0000-0002-5321-9343/work/142236716 |
Schlagworte
Schlagwörter
- stochastic differential equations, Markov processes, probabilistic representations, concurrency, timed and hybrid models, modal and temporal logics, stochastic processes