Stanford AA228V I Validation of Safety Critical Systems I Falsification through Planning
Stanford Online · 75:57
This lecture shows how to find likely system failures rather than exotic ones: first by folding trajectory likelihood into an optimization objective, then by building trajectories iteratively with tree search (RRT-sty...