Login / Signup
Model Repair Revamped - - On the Automated Synthesis of Markov Chains -.
Milan Ceska
Christian Dehnert
Nils Jansen
Sebastian Junges
Joost-Pieter Katoen
Published in:
From Reactive Systems to Cyber-Physical Systems (2019)
Keyphrases
</>
markov chain
transition probabilities
stationary distribution
markov process
probabilistic model
objective function
random walk
steady state
markov model
monte carlo simulation
stochastic model
monte carlo method