Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks.

Ramneet Kaur, Radoslav Ivanov, Matthew Cleaveland, Oleg Sokolsky, Insup Lee

Browse the full SAFECOMP paper archive.