Automated Specification Extraction and Testing of Autonomous Systems Submitted by David Corman on Fri, 11/04/2016 - 23:05 2016 National CPS PI Meeting 2016