High-level verifiable robotics

Location: Dan-Kahn Bldg., Auditorium 1
Lecturer: Hadas Kress-Gazit, PhD
12/3/20 2:30 pm
seminar file For More Details