Login / Signup
Online Monitoring ω-Regular Properties in Unknown Markov Chains.
Javier Esparza
Stefan Kiefer
Jan Kretínský
Maximilian Weininger
Published in:
CoRR (2020)
Keyphrases
</>
markov chain
steady state
transition probabilities
finite state
markov model
random walk
stochastic process
markov processes
monte carlo method
state space
monte carlo simulation
probabilistic automata
markov process
stationary distribution
monte carlo
assemble to order systems
confidence intervals
higher order