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

Research output: Contribution to book/conference proceedings/anthology/reportConference contributionContributedpeer-review

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 languageEnglish
Title of host publicationHSCC '18
PublisherAssociation for Computing Machinery (ACM), New York
Pages31-40
Number of pages10
ISBN (print)978-1-4503-5642-8
Publication statusPublished - 2018
Peer-reviewedYes

Conference

Title21st ACM International Conference on Hybrid Systems: Computation and Control
Abbreviated titleHSCC 2018
Conference number21
Description(part of CPS Week)
Duration11 - 13 April 2018
Website
Degree of recognitionInternational event
LocationPalácio da Bolsa
CityPorto
CountryPortugal

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