Formal Methods for Robotics in the Age of Big DataEngineering·Research Seminar·Distributed Systems · Hadas Kress-Gazit · Cornell UniversityHadas Kress-GazitCornell University—1:04:55
Thinking Above the CodeSystems & CS·Research Seminar·Software Design & HCI · Leslie Lamport · Microsoft ResearchLeslie LamportMicrosoft Research—59:50