Princeton Robotics Seminar - Hadas Kress-Gazit
Princeton University Robotics · 76:44 · Watch on YouTube
Key overview: In this Princeton robotics seminar, Cornell professor Hadas Kress-Gazit gives a broad, reflective tour of how formal methods (temporal-logic specifications, synthesis, monitoring, falsification, and repa...