TY  - RPRT
TI  - Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems
AU  - Lisa Oakley
AU  - Alina Oprea
AU  - Stavros Tripakis
PY  - 2022
UR  - https://arxiv.org/abs/2110.02125
ID  - 2110.02125
ER  -