43th InfoBlender Seminar

in
Date: 
Wednesday, February 7, 2018, 2:00pm - 3:00pm

Using Coq and Recurrent Neural Network to Model and Verify Timed Connectors 2/7/2018

By Prof. Meng Sun, Peking University, China.