TY  - RPRT
TI  - Probabilistic Reachability and Invariance Computation of Stochastic Systems using Linear Programming
AU  - Niklas Schmid
AU  - John Lygeros
PY  - 2023
UR  - https://arxiv.org/abs/2211.07544
ID  - 2211.07544
ER  -