Login / Signup
Exact Computation of Maximal Invariant Sets for Safe Markov Chains - Lattice Theoretic Approach.
Dylan Janak
Pierre-Loïc Garoche
Behçet Açikmese
Published in:
IEEE Trans. Autom. Control. (2022)
Keyphrases
</>
markov chain
exact computation
markov chain monte carlo
random walk
markov processes
monte carlo
probabilistic automata
stationary distribution
transition probabilities
importance sampling
state space
transition matrix
genetic algorithm
partition function
approximate inference
closed form
bayesian networks