A Theory of Fermat Paths for Non-Line-of-Sight Shape Reconstruction - The Robotics Institute Carnegie Mellon University