The Autonomous Systems Lab (ASL) at Cornell University, directed by Professors Mark Campbell and Hadas Kress-Gazit, focuses on algorithms and hardware implementations that enable a variety of applications in the general area of autonomous/semi-autonomous robotic systems. Topics studied include perception, estimation, control, high-level decision making and human-robot interaction. The lab is equipped with a variety of robots including Aldabaran Naos, Segway-based outdoor robots, Kuka Youbot, Jackel, and other small robots, in addition to a fully autonomous Chevrolet Tahoe (Skynet), one of the six finishers of the 2007 DARPA Urban Challenge. A Vicon motion capture system covering approx. 1200 sqft provides accurate GPS-like indoor localization for the robots using multiple fixed cameras. Every semester, undergraduates and Masters of Engineering (M.Eng) students carry out projects in the ASL in support of the research conducted by the Campbell Research Group and the Verifiable Robotics Research Group.