Login / Signup
DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications.
Matej Hajnal
David Safránek
Tatjana Petrov
Published in:
EPEW (2021)
Keyphrases
</>
markov chain
state space
uniformly distributed
stationary distribution
expectation maximization
random walk
non stationary
steady state
markov processes