TY  - RPRT
TI  - Safety Verification of Output Feedback Controllers for Nonlinear Systems
AU  - Kendra Lesser
AU  - Alessandro Abate
PY  - 2016
UR  - https://arxiv.org/abs/1603.06627
ID  - 1603.06627
ER  -