PaRoT: A Practical Framework for Robust Deep Neural Network Training

Edward W. Ayers, Francisco Eiras, Majd Hawasly, Iain Whiteside. PaRoT: A Practical Framework for Robust Deep Neural Network Training. In Ritchie Lee, Susmit Jha, Anastasia Mavridou, editors, NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings. Volume 12229 of Lecture Notes in Computer Science, pages 63-84, Springer, 2020. [doi]

Authors

Edward W. Ayers

This author has not been identified. Look up 'Edward W. Ayers' in Google

Francisco Eiras

This author has not been identified. Look up 'Francisco Eiras' in Google

Majd Hawasly

This author has not been identified. Look up 'Majd Hawasly' in Google

Iain Whiteside

This author has not been identified. Look up 'Iain Whiteside' in Google