Tuncali, C.E., Kapinski, J., Ito, H., Deshmukh, J.V., “Reasoning about safety of learning-enabled components in autonomous cyber-physical systems.”