Maximal Invariant Set Computation and Design for Markov Chains

Dylan Janak, Behçet Açıkmeşe

We describe an algorithm for computing the maximal invariant set for a Markov chain with linear safety constraints on the distribution over states. We then propose a Markov chain s…