MIT CSAIL: Guido Sanguinetti

Date and Time

August 26, 2015
11:00AM - 12:00PM EDT

Location

32-D677
Machine learning methods for formal analysis of Continuous Time Markov Chains