TY  - RPRT
TI  - Risk Verification of Stochastic Systems with Neural Network Controllers
AU  - Matthew Cleaveland
AU  - Lars Lindemann
AU  - Radoslav Ivanov
AU  - George Pappas
PY  - 2022
UR  - https://arxiv.org/abs/2209.09881
ID  - 2209.09881
ER  -