RI Seminar: Hadas Kress-Gazit : Formal Synthesis for Robots
Hadas Kress-Gazit
Associate Professor
College of Engineering, Cornell University
January 24, 2020
4 weeks ago 00:26:44 1
1 month ago 00:15:15 1
1 month ago 03:21:27 1
2 months ago 00:16:39 1
2 months ago 00:31:57 1
2 months ago 01:07:35 1
2 months ago 00:07:01 1
2 months ago 00:14:07 1
2 months ago 00:50:02 1
2 months ago 00:03:37 1
2 months ago 01:11:06 1
2 months ago 00:20:36 1
2 months ago 00:31:25 1
2 months ago 00:30:58 1
2 months ago 00:26:55 1
2 months ago 00:35:06 1
2 months ago 00:18:12 1
2 months ago 01:00:23 1
2 months ago 00:19:15 1
2 months ago 00:10:01 1
2 months ago 00:28:22 1
2 months ago 00:38:39 1
2 months ago 00:30:42 1
2 months ago 01:03:55 1
