TY  - RPRT
TI  - Computing Probabilistic Controlled Invariant Sets
AU  - Yulong Gao
AU  - Karl H. Johansson
AU  - Lihua Xie
PY  - 2021
UR  - https://arxiv.org/abs/1905.04117
ID  - 1905.04117
ER  -