Robust Systems Group, Department of Electrical Engineering and Department of Computer Science, Stanford University