TY  - RPRT
TI  - LSTM Neural Networks: Input to State Stability and Probabilistic Safety Verification
AU  - Fabio Bonassi
AU  - Enrico Terzi
AU  - Marcello Farina
AU  - Riccardo Scattolini
PY  - 2020
UR  - https://arxiv.org/abs/1912.04377
ID  - 1912.04377
ER  -