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

Daniel Gburek Christel Baier

Published in: HSCC (2018)

Keyphrases

stochastic systems
confidence intervals
stochastic models
conservation laws
sample path
probability distribution
markov decision processes
reinforcement learning
random variables
large deviations
marginal distributions
stochastic processes