TY  - RPRT
TI  - Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems
AU  - Cumhur Erkan Tuncali
AU  - James Kapinski
AU  - Hisahiro Ito
AU  - Jyotirmoy V. Deshmukh
PY  - 2018
UR  - https://arxiv.org/abs/1804.03973
ID  - 1804.03973
ER  -