Towards formal methods and software engineering for deep learning: Security, safety and productivity for dl systems development

Gaétan Hains, Arvid Jakobsson, Youry Khmelevsky. Towards formal methods and software engineering for deep learning: Security, safety and productivity for dl systems development. In 2018 Annual IEEE International Systems Conference, SysCon 2018, Vancouver, BC, Canada, April 23-26, 2018. pages 1-5, IEEE, 2018. [doi]

Authors

Gaétan Hains

This author has not been identified. Look up 'Gaétan Hains' in Google

Arvid Jakobsson

This author has not been identified. Look up 'Arvid Jakobsson' in Google

Youry Khmelevsky

This author has not been identified. Look up 'Youry Khmelevsky' in Google