Here is a (longish) post I wrote about this issue (mainly from the perspective of verifying autonomous vehicles): https://blog.foretellix.com/2017/07/06/where-

Here is a (longish) post I wrote about this issue (mainly from the perspective of verifying autonomous vehicles): https://blog.foretellix.com/2017/07/06/where-machine-learning-meets-rule-based-verification/ https://blog.foretellix.com/2017/07/06/where-machine-learnin...