Samuel Clarke - Robotics Institute Carnegie Mellon University