[VIRTUAL] GRASP On Robotics: Tichakorn (Nok) Wongpiromsarn, Iowa State University, “Formal Methods for Control Synthesis of Autonomous Systems”
Click here to join the Zoom Webinar ABSTRACT Formal methods play an increasingly important role in ensuring the correctness of […]