Spring Robotics Seminar: "Formal methods for Robotics in the age of big data" by Hadas Kress-Gazit

From Broadcast Broadcast Center Staff