TY  - RPRT
TI  - Maximal Invariant Set Computation and Design for Markov Chains
AU  - Dylan Janak
AU  - Behçet Açıkmeşe
PY  - 2019
UR  - https://arxiv.org/abs/1905.00947
ID  - 1905.00947
ER  -