High-level verifiable robotics

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