ACM Technical talk on Statistical Model Checking", by Prof. Madhavan Mukund, Chennai Mathematical Institute (ACM President) at Department of IT, Thiagarajar College of Engineering, Madurai 30.8.17.