Login / Signup
Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models.
Michael Backenköhler
Luca Bortolussi
Gerrit Großmann
Verena Wolf
Published in:
CoRR (2021)
Keyphrases
</>
markov chain
stationary distribution
queueing networks
search space
steady state