Combining formal methods and machine learning

Formal methods offer rigorous techniques for reasoning about systems, while, more recently, data-driven approaches based on machine learning have become popular. The two techniques are complementary, and this talk explores ways in which thay have been combined together.