MIT CSAIL: Guido Sanguinetti

Date: 

Wednesday, August 26, 2015, 11:00am to 12:00pm

Location: 

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