A seminar I gave to people from Telecom, aimed at an audience familiar with machine learning but not familiar with verification techniques.
