Model Repair Revamped: On the Automated Synthesis of Markov Chains.

Milan Ceska Christian Dehnert Nils Jansen Sebastian Junges Joost-Pieter Katoen

Published in: CoRR (2021)

Keyphrases

markov chain
markov model
transition probabilities
markov process
stochastic process
steady state
monte carlo simulation
finite state
gibbs sampling
objective function
parameter estimation
maximum entropy
random fields
stochastic model
markov processes