Search for tag: "specifications"

Spring Robotics Seminar: "Formal methods for Robotics in the age of big data" by Hadas Kress-Gazit

From  Broadcast Broadcast Center Staff 0 likes 1 plays

Targeted system optimization using inverse design, Prerit Terway, G4 (3958781)

Most systems have multiple objectives and…

From  Research Princeton Research Day 0 likes 52 plays