TY  - RPRT
TI  - Formal Verification of Stochastic Systems with ReLU Neural Network Controllers
AU  - Shiqi Sun
AU  - Yan Zhang
AU  - Xusheng Luo
AU  - Panagiotis Vlantis
AU  - Miroslav Pajic
AU  - Michael M. Zavlanos
PY  - 2021
UR  - https://arxiv.org/abs/2103.05142
ID  - 2103.05142
ER  -