TY  - RPRT
TI  - Safety-Critical Protective Systems and Margins of Safety
AU  - Martin Wortman
AU  - Ernest Kee
AU  - Pranav Kannan
PY  - 2020
UR  - https://arxiv.org/abs/2010.09674
ID  - 2010.09674
ER  -