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.