Proving that safety-critical neural networks do what they're supposed to: where we are, where we're going (part 1 of 2)

composition.al 2017-06-22