Using Formal Methods to Reason About Neural Network Based Autonomous Systems Download pdf Presented as part of the 2018 HCSS conference. Tags: Presentation HCSS 2018 License: CC-2.5 Submitted by Katie Dey on Sat, 03/10/2018 - 11:59
