Friday, October 30, 2020
Friday, October 30th, 2020
3:00pm
–
4:00pm
Add to Cal
Formal Methods for Control Synthesis of Autonomous Systems
Online Event
Formal Methods for Control Synthesis of Autonomous Systems
Tichakorn (Nok) Wongpiromsarn,
Assistant Professor,
Computer Science,
Iowa State University,